Tell your friends about this item:
High-Integrity Software - Software Science and Engineering Softcover reprint of the original 1st ed. 1989 edition
C T Sennett
High-Integrity Software - Software Science and Engineering Softcover reprint of the original 1st ed. 1989 edition
C T Sennett
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.
368 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 1, 2013 |
| ISBN13 | 9781468457773 |
| Publishers | Springer-Verlag New York Inc. |
| Pages | 360 |
| Dimensions | 189 × 246 × 20 mm · 662 g |
| Language | English |
| Editor | Sennett, C.T. |
See all of C T Sennett ( e.g. Paperback Book )