Skip to main content
PBS logo
 
 

Search - Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT))

Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT))
Constructing Correct Software - Formal Approaches to Computing and Information Technology FACIT
Author: John Cooke
Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional ...  more »
ISBN-13: 9783540761563
ISBN-10: 354076156X
Publication Date: 4/23/1999
Pages: 395
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
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.