Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

High-Integrity Software

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

C.T. Sennett

Language

English

Book Hardback

Libristo code: 01377502

Publishers Springer, Berlin, March 1990

4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6... Full description

Libristo code: 01377502

220 b

90.15 €

50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

Die Legende vom Hermunduren G. K. Grasse

Paperback

17.88 €

Pinocchio - Die Geschichte vom hölzernen Bengele Carlo Collodi

Paperback

14.16 €

Gabi, tu me fais trop rigoler! Bravi

Book

10.14 €

Atlas des vikings 789-1100 Haywood

Paperback

37.38 €

Rytíři a dámy papežských řádů Josef Dolejší

Hardback

10.04 €

AULA PLUS 4 LIBRO DEL ALUMNO

Book

32.96 €

piano di emergenza ed evacuazione. Manuale operativo Paolo Muneretto

Paperback

49.84 €

L'enfant AJT expliqué aux adultes Favereau

Paperback

16.98 €

Die Schwestern vom Ku'damm: Ein neuer Morgen Brigitte Riebe

Paperback

11.75 €

Classroom of the Elite Light Novel 04 Syougo Kinugasa

Book

13.76 €

Qualitatslernen Dieter Specht

Paperback

37.58 €

V Írsku prší inak Števa Opremčáková

Hardback

7.13 €

Lambacher Schweizer Mathematik 5. Ausgabe Hessen

Hardback

41.30 €

German Yearbook of International Law / Jahrbuch für Internationales Recht.. Vol. 53 (2010) Thomas Giegerich

Hardback

219.91 €

Die Erfindung des Weihnachtsbaums Bernd Brunner

Hardback

14.26 €

Prozesse Rainer Schützeichel

Paperback

60.90 €

Leben unter den Bomben - Berlin im Zweiten Weltkrieg Niklas Möring

Paperback

14.36 €

Und heilt alle deine Gebrechen Jörg Müller

Paperback

9.94 €

História Európy v malých sústach Jacob F. Field

Hardback

10.14 €

Ford Mustang Matt Cook

Paperback

10.24 €

Aesop for Children (Simplified Chinese): 06 Paperback Color H y Xiao Phd

Paperback

53.16 €

Duineser Elegien (Grossdruck) Rainer Maria Rilke

Paperback

5.62 €

Baila Como Una Hoja Claudia Navarro

Paperback

9.64 €

Histoire de L'Astronomie Moderne M. Delambre

Paperback

3.11 €

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.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name High-Integrity Software

Author C.T. Sennett

Language

English

Binding Book - Hardback

Date of issue 1990

Number of pages 360

EAN 9780306435522

Libristo code 01377502

Publishers Springer, Berlin

Weight 1000

You might also be interested in

Arithmetic Groups J. E. Humphreys

Paperback

25.72 €

Winning at Collaboration Commerce Heidi Collins

Hardback

94.37 €

Blount Tempest. [A Novel.] John Chippendall Montesquieu Bellew

Paperback

25.02 €

Alice Walker's Influence on Womanist Theology Gladys J Ph D Willis

Paperback

9.14 €

History Of The Indian Tribes Of The United States V2: Their Present Condition And Prospects And A Sketch Of Their Ancient Status Henry Rowe Schoolcraft

Paperback

36.17 €