Image from Amazon.com
Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Borger ... [et al.].
Series: lecture notes in computer science ; 5238Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.Description: xii, 382 p. : ill., digital ; 24 cmISBN:- 9783540876038 (electronic bk.)
- 9783540876021 (paper)
- 511.35 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.