Concurrency, Compositionality, and Correctness
Dams, Dennis
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever [electronic resource] edited by Dennis Dams, Ulrich Hannemann, Martin Steffen - Berlin, Heidelberg Springer Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 5930 0302-9743 .
9783642115127
Computer science
Software engineering
Computer software
Logic design
Computer Science
Logics and Meanings of Programs
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Software Engineering
Programming Languages, Compilers, Interpreters
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever [electronic resource] edited by Dennis Dams, Ulrich Hannemann, Martin Steffen - Berlin, Heidelberg Springer Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 5930 0302-9743 .
9783642115127
Computer science
Software engineering
Computer software
Logic design
Computer Science
Logics and Meanings of Programs
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Software Engineering
Programming Languages, Compilers, Interpreters