Skip to content
Scan a barcode
Scan
Paperback Abstract State Machines, B and Z: First International Conference, Abz 2008, London, Uk, September 16-18, 2008. Proceedings Book

ISBN: 3540876022

ISBN13: 9783540876021

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

The ABZ 2008 conference was held in London during September 16-18, 2008. The conference aimed at contributing to the cross-fertilization of three rigorous methods that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and so- waresystems, namely, abstractstate machines, B, andZ. It followedonfromthe Dagstuhl seminar on Rigorous Methods for Software Construction and Ana- sis,...

Recommended

Format: Paperback

Condition: New

$60.03
50 Available
Ships within 2-3 days

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured