Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems - Dan Craigen - Books - William Andrew Publishing - 9780815513629 - 1995
In case cover and title do not match, the title is correct

Dan Craigen
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems 1st edition

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Dan Craigen releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. This title evaluates international industrial experience in using formal methods. It includes cases which are representative of industrial-grade projects.

318 pages

Media Books     Hardcover Book   (Book with hard spine and cover)
Released 1995
ISBN13 9780815513629
Publishers William Andrew Publishing
Pages 318
Dimensions 178 × 254 × 20 mm   ·   771 g
Language English  

More from the same publisher

See all of Dan Craigen ( e.g. Paperback Book and Hardcover Book )