Abstract State Machines, B and Z - bib.howest.be

Abstract State Machines, B and Z

Format:: e-book
Title:: Abstract State Machines, B and Z
Author:: Börger, Egon; Boca, Paul; Bowen, Jonathan P.; Butler, Michael; Kanade, Takeo; Boca, Paul P.; Kittler, Josef
Language:: English
Publisher:: Springer Berlin Heidelberg 2008
ISBN:: 3-540-87602-2
3-540-87603-0
Subject:: Information Technology Software Engineering
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000490193?locale=en