Teaching and Learning Formal Methods

by Michael G. Hinchey

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"