Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

High-Integrity Software

Name: High-Integrity Software
Brand: Springer, Berlin
SKU: 01377502
Price: 94.39 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

231 b

94.39 € VAT included

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

Delivery to Austria

30-day return policy

Customers also purchased

Classroom of the Elite Light Novel 04 Syougo Kinugasa

Book

14.00 €

Gabi, tu me fais trop rigoler! Bravi

Book

11.79 €

Faber - Castell Fixy Connector 60 ks

Toy

20.89 €

Atlas des vikings 789-1100 Haywood

Paperback

33.19 €

AULA PLUS 4 LIBRO DEL ALUMNO

Book

34.39 €

Die Legende vom Hermunduren G. K. Grasse

Paperback

19.95 €

L'enfant AJT expliqué aux adultes Favereau

Paperback

18.89 €

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

Hardback

10.49 €

Histoire de L'Astronomie Moderne M. Delambre

Paperback

9.39 €

Baila Como Una Hoja Claudia Navarro

Paperback

8.89 €

Duineser Elegien (Grossdruck) Rainer Maria Rilke

Paperback

5.69 €

Ford Mustang Matt Cook

Paperback

12.00 €

Und heilt alle deine Gebrechen Jörg Müller

Paperback

10.69 €

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

Paperback

15.95 €

Prozesse Rainer Schützeichel

Paperback

64.99 €

Die Erfindung des Weihnachtsbaums Bernd Brunner

Hardback

13.95 €

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

Hardback

197.19 €

Lambacher Schweizer Mathematik 5. Ausgabe Hessen

Hardback

39.09 €

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

Hardback

7.59 €

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

26.99 €

Ted Hughes Neil Roberts

Paperback

60.39 €

Empirical Analysis of Real Estate Investment Trusts in Asia Pham Anh Khoi

Paperback

97.69 €

Christ's Instructions to His Followers Concerning the Suffering Galileans; A Sermon Preach'd in the Parish-Churches of Storrington and Parham in Susse William Byass

Paperback

13.29 €

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

Paperback

26.39 €

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

Paperback

9.59 €

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

37.69 €