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.

Search for related items by subject

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.

Search for related items by series

Electronic resources

Texto completo


Additional Resources