Sisäänkirjautuminen

Kourie, Derrick G.

The Correctness-by-Construction Approach to Programming

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

94,70€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9783642279195
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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

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

Tekijä(t)
 
Julkaisija
Springer
Julkaisuvuosi
2012
Kieli
en
Painos
2012
Sivumäärä
13 sivua
Kategoria
Tietotekniikka, tietoliikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9783642279195

Samankaltaisia e-kirjoja