Skip to main content
PBS logo
 
 

Search - Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences

Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences
Proof Technology and Computation Volume 200 NATO Science Series Computer and Systems Sciences
Author: K. Spies and H. Schwichtenberg, Editors
Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and verifications tools. The origins of this technology lie in the systematic understanding of a fully-fledged, precise notion of proof by mathematics and logics. Using this profound understanding, c...  more »
ISBN-13: 9781586036256
ISBN-10: 1586036254
Publication Date: 7/1/2006
Pages: 456
Rating:
  ?
0 stars, based on 0 rating
Publisher: IOS Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.