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