Constructing correct software : the basics /

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 actu...

Full description

Bibliographic Details

Main Author:	Cooke, John, 1947-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London ; New York : Springer, [1998]
Series:	Formal approaches to computing and information technology.
Subjects:	Computer software > Development. Programm. Korrektheit. Softwareentwicklung. Programmverifikation. Electronic books.
Online Access:	Connect to the full text of this electronic book