Frappier, Marc.
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / [electronic resource] : edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 5977 0302-9743 ; . - Lecture Notes in Computer Science, 5977 .
9783642118111
10.1007/978-3-642-11811-1 doi
Computer science.
Computer software.
Logic design.
Computational complexity.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
QA8.9-QA10.3
005.131
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / [electronic resource] : edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 5977 0302-9743 ; . - Lecture Notes in Computer Science, 5977 .
9783642118111
10.1007/978-3-642-11811-1 doi
Computer science.
Computer software.
Logic design.
Computational complexity.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
QA8.9-QA10.3
005.131