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 ; Butler, Michael ; Bowen, Jonathan P. ; Boca, Paul ; ABZ
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:
Other Editions:Show all 2 Editions
Further Information:Lizenzpflichtig
Zentralblatt MATH
urn:nbn:de:1111-2008103142
QR Code: Show QR Code

Ilmenau University Library, Online

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