Overview
- This book links constructive software development to traditional problem-solving methods - It is not dependent on any particular specification language, but is based instead on their common core - predicate logic and familiar data types -
- It provides a brief transliteration into the major specification notations
Part of the book series: Formal Approaches to Computing and Information Technology (FACIT) (FACIT)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 chapters)
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: Constructing Correct Software
Authors: D. John Cooke
Series Title: Formal Approaches to Computing and Information Technology (FACIT)
DOI: https://doi.org/10.1007/978-1-4471-3985-0
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London 1998
eBook ISBN: 978-1-4471-3985-0Published: 29 June 2013
Edition Number: 1
Number of Pages: XIII, 395
Topics: Software Engineering, Mathematical Logic and Formal Languages