.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
High-Integrity Software
C. T. . Ed(S): Sennett
€ 68.74
FREE Delivery in Ireland
Description for High-Integrity Software
Paperback. Editor(s): Sennett, C. T. Series: Software Science & Engineering. Num Pages: 360 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 246 x 189 x 20. Weight in Grams: 726.
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4. 8 Conclusions 5 Reliable programming in standard languages 102 Bernard Carre, Program Validation Ltd. 5. 1 Introduction 102 5. 2 Language requirements for high-integrity programming 103 5. 3 The use of standard languages 108 5. 4 Programming in Pascal and Ada 110 1'19 5. 5 Practical experiences NewSpeak: a reliable programming language 6 122 I. F. Currie, Royal Signals and Radar Establishment 6. 1 Introduction 122 6. 2 ... Read more
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4. 8 Conclusions 5 Reliable programming in standard languages 102 Bernard Carre, Program Validation Ltd. 5. 1 Introduction 102 5. 2 Language requirements for high-integrity programming 103 5. 3 The use of standard languages 108 5. 4 Programming in Pascal and Ada 110 1'19 5. 5 Practical experiences NewSpeak: a reliable programming language 6 122 I. F. Currie, Royal Signals and Radar Establishment 6. 1 Introduction 122 6. 2 ... Read more
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag New York Inc. United States
Number of pages
360
Condition
New
Series
Software Science & Engineering
Number of Pages
360
Place of Publication
New York, NY, United States
ISBN
9781468457773
SKU
V9781468457773
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for High-Integrity Software