 
 

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:
http://www.paperbackswap.com/Teaching-Learning-Formal-C-Neville-Dean/book/0123490405/
www.paperbackswap.com
crawl=CC-MAIN-2018-47
41356
application/http; msgtype=response
sha1:QUDXNLZUQZZBCPH5NJTRNQVKMEZLZC7N
<urn:uuid:b8179160-a51a-4274-931f-555d6deabdb0>
2018-11-19T15:35:18Z
66.129.95.201
text/html
sha1:XACOWBYMIPUCRHU5JX5VG5RYVTODUXGM
<urn:uuid:5f214f62-d4f7-4374-830a-a1ad64d6cb29>
http://www.paperbackswap.com/Teaching-Learning-Formal-C-Neville-Dean/book/0123490405/
response
<urn:uuid:1bf7ccd4-76c2-4aa5-b441-a22d356b3449>
isPartOf: CC-MAIN-2018-47
publisher: Common Crawl
description: Wide crawl of the web for November 2018
operator: Common Crawl Admin (info@commoncrawl.org)
hostname: ip-10-229-81-75.ec2.internal
software: Apache Nutch 1.15 (modified, https://github.com/commoncrawl/nutch/)
robots: checked via crawler-commons 0.11-SNAPSHOT (https://github.com/crawler-commons/crawler-commons)
format: WARC File Format 1.1
conformsTo: http://iipc.github.io/warc-specifications/specifications/warc-format/warc-1.1/