Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16 - 18, 2008 ; proceedings

Bibliographic Details
Other Involved Persons: Börger, Egon (Other) ; Butler, Michael (Other) ; Bowen, Jonathan P. (Other) ; Boca, Paul (Other) ; ABZ (Other)
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer 2008
ISBN:9783540876038
3540876030
3540876022
9783540876021
Series:Lecture notes in computer science 5238
Item Description:Literaturangaben
Physical Description:Online-Ressource (XII, 382 S.)
DOI:10.1007/978-3-540-87603-8
Subjects:
Z
Other Editions:Show all 2 Editions
QR Code: Show QR Code

Ilmenau University Library, Online

Holdings details from Universitätsbibliothek Ilmenau, Online
Shelf Mark: Internet:INF 2009
Notes:
Online Access: http://dx.doi.org/10.1007/978-3-540-87603-8 [Lizenzpflichtig]
Availability: Available - Online.

Show all 2 Editions
Further Information:
Zentralblatt MATH
Feedback Delivery Service Acquisition Suggestion