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

Abstract State Machines, Alloy, B, VDM, and Z

Format:: e-book
Title:: Abstract State Machines, Alloy, B, VDM, and Z
Author:: Hutchison, David; Kanade, Takeo; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia
Language:: English
Publisher:: Springer Berlin Heidelberg 2012
ISBN:: 3-642-30884-8
3-642-30885-6
Permalink:: http://bibtest.howest.be/catalog/ebk03:3400000000085316?locale=en