An edition of Concurrency, Compositionality, and Correctness (2010)

Concurrency, Compositionality, and Correctness

Essays in Honor of Willem-Paul de Roever

By Dennis Dams

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

2010

Publisher

Springer Berlin Heidelberg

Language

eng

Pages

Description:

subjects: Logic design, Computer science, Software engineering, Computer software, Parallel programming (Computer science), Computer programs, Correctness