Search - Teaching and Learning Formal Methods (Library and Information Science)

Teaching and Learning Formal Methods (Library and Information Science)
Teaching and Learning Formal Methods - Library and Information Science
Author: C. Neville Dean
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 t...  more »
ISBN-13: 9780123490407
ISBN-10: 0123490405
Publication Date: 9/17/1996
Pages: 285
Rating:
  ?

0 stars, based on 0 rating
Publisher: Morgan Kaufmann
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: