Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
by
Derrick, John. editor.
Title
:
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Author
:
Derrick, John. editor.
ISBN
:
9783642308857
Physical Description
:
XV, 378 p. 133 illus. online resource.
Series
:
Lecture Notes in Computer Science, 7316
Series Title
:
Lecture Notes in Computer Science, 0302-9743 ; 7316
Subject Term
:
Computer science.
Computer software.
Logic design.
Computational complexity.
Added Author
:
Fitzgerald, John.
Gnesi, Stefania.
Khurshid, Sarfraz.
Leuschel, Michael.
Reeves, Steve.
Riccobene, Elvinia.
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 | 196982-2001 | ONLINE | | Elektronik Kütüphane |