Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca.
Material type: Computer fileSeries: Lecture Notes in Computer Science ; 5238Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.Description: v.: digitalISBN:- 9783540876038
- QA267 B67 2008
Item type | Current library | Call number | URL | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Digital Colección Digital | QA267 B67 2008 (Browse shelf(Opens below)) | Link to resource | 1 | Available | SringerLink | BDIG00000880 |
There are no comments on this title.
Log in to your account to post a comment.