Teaching and Learning Formal Methods

by Michael G. Hinchey

No Customer Reviews

As computer systems continue to advance, the positions they hold in human society continue to gain power. Computers now control the flight of aircraft, the cooling systems in chemical plants, and feedback loops in nuclear reactors. Because of the vital roles these systems play, there has been growing concern about the reliability and safety of these advanced computers.Formal methods are now widely recognized as the most successful means of assuring...

Format:Hardcover

Language:English

ISBN:0123490405

ISBN13:9780123490407

Release Date:October 1996

Publisher:Morgan Kaufmann Publishers

Length:285 Pages

Weight:0.97 lbs.

Dimensions:0.6" x 6.0" x 9.0"

Related Subjects

Artificial Intelligence Computer Science Computers Computers & Technology Education & Reference Human Vision & Language Systems Mathematics Methodology Science & Math Software Design & Engineering Software Design, Testing & Engineering Software Development Software Engineering

Customer Reviews

0 rating

Write a review

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

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

Teaching and Learning Formal Methods

Recommended

Customer Reviews

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us