Abstract State Machines, Alloy, B, VDM, and Z
Subtitle: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
By: edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
Contributors: Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7316
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642308857
Subjects: Computational complexity; Discrete Mathematics in Computer Science; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Mathematics of Computing; Computer software