Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
by
Frappier, Marc. editor.
Title
:
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
Author
:
Frappier, Marc. editor.
ISBN
:
9783642118111
Physical Description
:
XIV, 416p. 95 illus. online resource.
Series
:
Lecture Notes in Computer Science, 5977
Series Title
:
Lecture Notes in Computer Science, 0302-9743 ; 5977
Subject Term
:
Computer science.
Computer software.
Logic design.
Computational complexity.
Added Author
:
Glässer, Uwe.
Khurshid, Sarfraz.
Laleau, Régine.
Reeves, Steve.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 191805-2001 | ONLINE | | Elektronik Kütüphane |