Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / [electronic resource] : edited by Egon Borger ... [et al.]. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - xii, 382 p. : ill., digital ; 24 cm. - lecture notes in computer science, 5238 0302-9743 ; .

9783540876038 (electronic bk.) 9783540876021 (paper)


Machine theory--Congresses.
Computer Science.
Database Management.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Software Engineering.

511.35