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

Abstract State Machines, Alloy, B and Z

Format:: e-book
Title:: Abstract State Machines, Alloy, B and Z
Author:: Frappier, Marc; Glässer, Uwe; Glässer, Uwe; Khurshid, Sarfraz; Laleau, Régine; Reeves, Steve
Language:: English
Publisher:: Springer Berlin Heidelberg 2010
ISBN:: 3-642-11810-0
9786613563637
3-642-11811-9
1-280-38571-5
Permalink:: http://bibtest.howest.be/catalog/ebk03:2560000000000988?locale=en