Catalog

Record Details

Catalog Search



Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings  Cover Image E-book E-book

Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene.

Derrick, John. (editor.). Fitzgerald, John. (editor.). Gnesi, Stefania. (editor.). Khurshid, Sarfraz. (editor.). Leuschel, Michael. (editor.). Reeves, Steve. (editor.). Riccobene, Elvinia. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642308857
  • Physical Description: XV, 378 p. 133 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Subject: Computer science.
Computer software.
Logic design.
Computational complexity.
Computer Science.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Mathematics of Computing.
Mathematics of Computing.
Discrete Mathematics in Computer Science.

Electronic resources



Additional Resources