Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (2008) (Lecture Notes in Computer Science #5238)
By: and and and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.
- Copyright:
- 2008
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783540876038
- Related ISBNs:
- 9783540876021
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 07/11/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Egon Börger
- Edited by:
- Michael Butler
- Edited by:
- Jonathan P. Bowen
- Edited by:
- Paul Boca
Reviews
Other Books
- by Paul Boca
- by Jonathan P. Bowen
- by Michael Butler
- by Egon Börger
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy