Tallenna
High-Integrity Software
6 Specification data types 91 4. 5 Practical experiences NewSpeak: a reliable programming language 6 122 I. 1 Introduction 122 6. 2 Types and values 127 6. 3 Declarations and variables 132 6. 4 Guarded declarations 134 6. 5 Cases and conditionals 136 6. 6 Loops 138 6. 7 Procedures 140 6. 11 Appendix 1: summary of syntax 150 6. 6 7.
- Toimittaja
- C.T. Sennett
- Painos
- Softcover reprint of the original 1st ed. 1989
- ISBN
- 9781468457773
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 1.7.2013
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 360
