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. - digital. - Lecture Notes in Computer Science, 5930 0302-9743 ; . - Lecture Notes in Computer Science, 5930 .
9783642115127
10.1007/978-3-642-11512-7 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
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. - digital. - Lecture Notes in Computer Science, 5930 0302-9743 ; . - Lecture Notes in Computer Science, 5930 .
9783642115127
10.1007/978-3-642-11512-7 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113