Großes Bild
|
|
The Correctness-by-Construction Approach to Programming
von: Derrick G. Kourie, Bruce W. Watson
Springer-Verlag, 2012
ISBN: 9783642279195
273 Seiten,
Download: 3033 KB
Format: PDF
|
geeignet für:
|
|
Typ: B (paralleler Zugriff)
|
|
|
|
|
|
Inhaltsverzeichnis |
|
|
The Correctness-by-Construction Approach to Programming |
4 |
|
|
Preface |
6 |
|
|
Contents |
10 |
|
|
Chapter1 Introduction |
15 |
|
|
Chapter2 Background |
21 |
|
|
Chapter3 Simple Examples |
69 |
|
|
Chapter4 Intermediary Examples |
108 |
|
|
Chapter5 Procedures and Recursion |
173 |
|
|
Chapter6 Case Study: Lattice Cover Graph Construction |
208 |
|
|
Chapter7 Case Study 2: Classifying MADFA Construction Algorithms |
238 |
|
|
References |
269 |
|
|
Index |
272 |
|
|
|
|
|
Mehr zum Inhalt |
|
|
|
Medientyp |
|
|
Navigation |
|
|
|
Info |
|