Teaching And Learning Formal Methods
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | October 1996 |
| Editors | Michael Hinchey |
| Neville Dean | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2255351 |
About Teaching And Learning Formal Methods
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. . . .