Code: 01377502

High-Integrity Software

Name: High-Integrity Software
Brand: Springer, Berlin
SKU: 01377502
Price: 91.03 EUR
Availability: BackOrder
Author: C.T. Sennett
ISBN: 9780306435522

by C.T. Sennett

Language: English
Binding: Hardback
Number of pages: 360
Publisher: Springer, Berlin, 1990
More about this

91.03 €

Availability:

50/50

We think title might be available. Upon your order we will do our best to get it within 6 weeks.
We search the world

Availability alert

Add to wishlist

Blade of the Immortal Deluxe Volume 8
34.59 € -28 %
Buy
Dressage Principles and Techniques
41.77 € -2 %
Buy
Anti-Diet: Reclaim Your Time, Money, Well-Being, and Happiness Through Intuitive Eating
14.76 € -25 %
Buy
Ford Mustang
10.31 € -15 %
Buy
V Írsku prší inak
6.26 € -37 %
Buy
AULA PLUS 4 LIBRO DEL ALUMNO
33.17 €
Buy
Faber - Castell Fixy Connector 60 ks
18.70 € -23 %
Buy
Illustrated Practical Encyclopedia of Archaeology
19.21 € -24 %
Buy
Managing Agile
50.57 € -9 %
Buy
Rytíři a dámy papežských řádů
9.70 € -16 %
Buy
High-Yield Biostatistics, Epidemiology, and Public Health
49.86 €
Buy
Histoire de L'Astronomie Moderne
9.50 €
Buy
Classroom of the Elite Light Novel 04
11.93 € -15 %
Buy
Darwin in the Archives
40.66 € -14 %
Buy
Die Legende vom Hermunduren
18 € -10 %
Buy
Baila Como Una Hoja
7.88 € -25 %
Buy
Case Against the Davis-Bacon Act
199.78 €
Buy
Quantum Superposition
92.75 € -7 %
Buy
Introduction to the Libertarian Party: For Democrats, Republicans, Libertarians, Independents, and Everyone Else
9.70 € -7 %
Buy
Leben unter den Bomben - Berlin im Zweiten Weltkrieg
14.46 € -10 %
Buy
piano di emergenza ed evacuazione. Manuale operativo
50.37 €
Buy
Nuclear Power's Role in Generating Electricity: A CBO Study: A CBO Study
10.92 €
Buy
Women in Ancient America: Second Edition
28.72 €
Buy
Ted Hughes
55.83 €
Buy
Big Book of Quick, Easy Family Recipes
15.16 € -26 %
Buy
Prozesse
61.29 € -6 %
Buy
Sharp Blue Stream
13.95 € -9 %
Buy
Philosophy in France Today
49.66 €
Buy
Empirical Analysis of Real Estate Investment Trusts in Asia
93.36 € -14 %
Buy
Die Erfindung des Weihnachtsbaums
12.23 € -13 %
Buy
Winning at Collaboration Commerce
74.24 €
Buy
Darkness Before Dawn
12.33 € -7 %
Buy
Christ's Instructions to His Followers Concerning the Suffering Galileans; A Sermon Preach'd in the Parish-Churches of Storrington and Parham in Susse
11.83 € -25 %
Buy
Common Core High School: Algebra: CCSS Test Review for the Common Core State Standards Initiative
36.91 € -9 %
Buy
Investigating Natural Disasters Pack A of 4
61.29 € -4 %
Buy
Arithmetic Groups
25.99 € -7 %
Buy
Und heilt alle deine Gebrechen
10.21 € -10 %
Buy
Lambacher Schweizer Mathematik 5. Ausgabe Hessen
37.72 €
Buy
Lex Luthor's Power Grab!
17.89 € -26 %
Buy
Six pound nineteen per witching hour: Paranormal Personnel Saga #1
10.71 € -6 %
Buy
Guide To The Study And Reading Of American History
46.32 € -1 %
Buy
Aesop for Children (Simplified Chinese): 06 Paperback Color
50.77 € -7 %
Buy
Activating God's Power in Kalvin
9.80 € -6 %
Buy
Vintage Magic
12.43 €
Buy
Dynamic Fleet Management for International Truck Transportation
51.68 € -7 %
Buy
Loop Spaces, Characteristic Classes and Geometric Quantization
75.66 € -9 %
Buy
Local Anesthesia
39.24 € -14 %
Buy
Distilled Spirits
26.90 € -6 %
Buy
History Of The Indian Tribes Of The United States V2: Their Present Condition And Prospects And A Sketch Of Their Ancient Status
34.59 € -2 %
Buy
Blount Tempest. [A Novel.]
23.56 € -25 %
Buy
All my love, Thad
18.10 € -10 %
Buy
Duineser Elegien (Grossdruck)
5.45 €
Buy
Indigenous History from 1978-Present: The Contemporary Era
9.70 € -9 %
Buy
Python Programming
18.20 € -25 %
Buy
Atlas des vikings 789-1100
37.72 €
Buy
German Yearbook of International Law / Jahrbuch für Internationales Recht.. Vol. 53 (2010)
190.06 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

Availability alert

We will watch availability for you

Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.

You get 220 loyalty points

Book synopsis

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 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. 8 Assertions 145 6. 9 Timing 147 6. 10 Conclusion 149 6. 11 Appendix 1: summary of syntax 150 6. 12 Appendix 2: type lattice and widening 156 7 Program analysis and systematic testing 159 M. A. Hennell, University of Liverpool, and D. Hedley and I. J. Riddell, Liverpool Data Research Associates Ltd. 7. 1 Introduction 159 7. 2 The basic requirement 160 7. 3 The Liverpool experience 161 7. 4 The Liverpool experiments 162 7. 5 The LDRA Testbeds 163 Interpretation 169 7. 6 7. 7 Applicability and benefits 171 7. 8 Safety-critical systems 173 VI 8 Program analysis and verification 176 Bernard Carre, Program Validation Ltd. 8. 1 Introduction 176 8.