Börger, Egon.
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / [electronic resource] : edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5238 0302-9743 ; . - Lecture Notes in Computer Science, 5238 .
9783540876038
10.1007/978-3-540-87603-8 doi
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 Management.
QA76.758
005.1
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / [electronic resource] : edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5238 0302-9743 ; . - Lecture Notes in Computer Science, 5238 .
9783540876038
10.1007/978-3-540-87603-8 doi
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 Management.
QA76.758
005.1