Formal Specification and Design
(Part of the Cambridge Tracts in Theoretical Computer Science Series)
No Customer Reviews
Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set...
Format:Paperback
Language:English
ISBN:0521435927
ISBN13:9780521435925
Release Date:November 2005
Publisher:Cambridge University Press
Length:352 Pages
Weight:1.24 lbs.
Dimensions:0.7" x 6.7" x 9.6"
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
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
