Book Details

Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Publication year: 2008

ISBN: 978-3-540-87603-8

Internet Resource: Please Login to download book


This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008.


Subject: Computer Science, B method, abstract state machines, access control, automatic verification, complex systems, cryptography, design, design process, distributed systems, dynamically configurable systems, event-B, formal methods, formal software development, formal specification, Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Database Management