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.
By: Börger, Egon.
Contributor(s): Butler, Michael | Bowen, Jonathan P | Boca, Paul | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 5238.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Description: digital.ISBN: 9783540876038.Subject(s): Computer science | Software engineering | Logic design | Database management | Computer Science | Software Engineering | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Programming Languages, Compilers, Interpreters | Database ManagementDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.