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

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

Bibliographic Details
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
Online Access:http://dx.doi.org/10.1007/978-3-642-11811-1
Description
Physical Description:v.: digital
ISBN:9783642118111
ISSN:0302-9743

Similar Items