Login

Kourie, Derrick G.

The Correctness-by-Construction Approach to Programming

Kourie, Derrick G. - The Correctness-by-Construction Approach to Programming, ebook

94,70€

Ebook, PDF with Adobe DRM
ISBN: 9783642279195
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
Derrick G. Kourie, Bruce W. Watson

2. Background
Derrick G. Kourie, Bruce W. Watson

3. Simple Examples
Derrick G. Kourie, Bruce W. Watson

4. Intermediary Examples
Derrick G. Kourie, Bruce W. Watson

5. Procedures and Recursion
Derrick G. Kourie, Bruce W. Watson

6. Case Study: Lattice Cover Graph Construction
Derrick G. Kourie, Bruce W. Watson

7. Case Study 2: Classifying MADFA Construction Algorithms
Derrick G. Kourie, Bruce W. Watson

Keywords: Computer Science, Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages

Author(s)
 
Publisher
Springer
Publication year
2012
Language
en
Edition
2012
Page amount
13 pages
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783642279195

Similar titles