Abstract state machine [E-Book] : B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings / ed. by E. Börger ...
Börger, E., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540876021
9783540876038 (e-book)
Lecture notes in computer science ; 5238
Full Text
Description not available.