Skip to main content
PBS logo
 
 

Search - The Correctness-by-Construction Approach to Programming

The Correctness-by-Construction Approach to Programming
The CorrectnessbyConstruction Approach to Programming
Author: Derrick G. Kourie, Bruce W. Watson
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure of formality is a waste of time, resulting ...  more »
ISBN-13: 9783642279188
ISBN-10: 364227918X
Publication Date: 3/31/2012
Pages: 277
Edition: 2012
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Hardcover
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.