Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

• Main Author: Frappier, Marc
• Corporate Author: SpringerLink (Online service)
• Other Authors: GlΓ€sser, Uwe, Khurshid, Sarfraz, Laleau, RΓ©gine, Reeves, Steve
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
• Series: Lecture Notes in Computer Science 5977
• Subjects: 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