John Derrick - Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 2012, Label : Springer, Publisher : Springer, PackageQuantity : 1, medium : Taschenbuch, numberOfPages : 396, publicationDate : 2012-06-12, releaseDate : 2012-06-12, publishers : John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene, languages : english, ISBN : 3642308848 ...