Abstract State Machines, B and Z: First Inteational

Abstract State Machines, B and Z: First Inteational Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer .. Computer Science and General Issues)

Hardcover: 382 pages

Publisher: Springer (September 8, 2008)

Language: English

ISBN-10: 3540876022