Skip to main content
PBS logo
 
 

Search - The Foundations of Program Verification (Series in Computer Science) (German Edition)

The Foundations of Program Verification (Series in Computer Science) (German Edition)
The Foundations of Program Verification - Series in Computer Science - German Edition
Author: Kurt Sieber
This is a textbook on program verification. It concentrates on those verification methods that have now become classic such as the inductive assertions method of Floyd, the axiomatic method of Hoare and Scott's fixpoint induction. The aim of the book is to present these different verification methods and to explain their mathemati- cal backgroun...  more »
ISBN-13: 9783322967541
ISBN-10: 3322967549
Publication Date: 2/27/2013
Pages: 230
Edition: 2. Aufl. 1987. Softc
Rating:
  ?
0 stars, based on 0 rating
Publisher: Vieweg+Teubner Verlag
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


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.