Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

High-Integrity Software

Language EnglishEnglish
Book Hardback
Book High-Integrity Software C.T. Sennett
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
? points 219 b
32 754 Ft
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 / Book Paperback
common.buy 7 090 Ft
Pinocchio - Die Geschichte vom hölzernen Bengele Carlo Collodi / Book Paperback
common.buy 5 162 Ft
Gabi, tu me fais trop rigoler! Bravi / Book Book
common.buy 3 688 Ft
Atlas des vikings 789-1100 Haywood / Book Paperback
common.buy 13 581 Ft
Rytíři a dámy papežských řádů Josef Dolejší / Book Hardback
common.buy 3 639 Ft
AULA PLUS 4 LIBRO DEL ALUMNO / Book Book
common.buy 11 970 Ft
piano di emergenza ed evacuazione. Manuale operativo Paolo Muneretto / Book Paperback
common.buy 18 085 Ft
L'enfant AJT expliqué aux adultes Favereau / Book Paperback
common.buy 6 195 Ft
Die Schwestern vom Ku'damm: Ein neuer Morgen Brigitte Riebe / Book Paperback
common.buy 4 657 Ft
Classroom of the Elite Light Novel 04 Syougo Kinugasa / Book Book
common.buy 5 013 Ft
Qualitatslernen Dieter Specht / Book Paperback
common.buy 14 862 Ft
V Írsku prší inak Števa Opremčáková / Book Hardback
common.buy 2 596 Ft
Lambacher Schweizer Mathematik 5. Ausgabe Hessen / Book Hardback
common.buy 14 699 Ft
German Yearbook of International Law / Jahrbuch für Internationales Recht.. Vol. 53 (2010) Thomas Giegerich / Book Hardback
common.buy 79 886 Ft
Die Erfindung des Weihnachtsbaums Bernd Brunner / Book Hardback
common.buy 5 176 Ft
Prozesse Rainer Schützeichel / Book Paperback
common.buy 24 087 Ft
Leben unter den Bomben - Berlin im Zweiten Weltkrieg Niklas Möring / Book Paperback
common.buy 5 699 Ft
Und heilt alle deine Gebrechen Jörg Müller / Book Paperback
common.buy 3 624 Ft
História Európy v malých sústach Jacob F. Field / Book Hardback
common.buy 3 688 Ft
Ford Mustang Matt Cook / Book Paperback
common.buy 4 074 Ft
Aesop for Children (Simplified Chinese): 06 Paperback Color H y Xiao Phd / Book Paperback
common.buy 20 895 Ft
Duineser Elegien (Grossdruck) Rainer Maria Rilke / Book Paperback
common.buy 2 121 Ft
Baila Como Una Hoja Claudia Navarro / Book Paperback
common.buy 3 431 Ft
Affordable
Histoire de L'Astronomie Moderne M. Delambre / Book Paperback
common.buy 1 147 Ft

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
Ewa Kasp
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

Categories

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer science
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Arithmetic Groups J. E. Humphreys / Book Paperback
common.buy 10 165 Ft
Winning at Collaboration Commerce Heidi Collins / Book Hardback
common.buy 36 709 Ft
Blount Tempest. [A Novel.] John Chippendall Montesquieu Bellew / Book Paperback
common.buy 9 997 Ft
Alice Walker's Influence on Womanist Theology Gladys J Ph D Willis / Book Paperback
common.buy 3 609 Ft
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 / Book Paperback
common.buy 14 146 Ft
Secret Diary of Ben Zoma John W McGinley / Book Paperback
common.buy 6 521 Ft
Managing Agile Alan Moran / Book Hardback
common.buy 19 845 Ft
Lex Luthor's Power Grab! Louise Simonson / Book Hardback
common.buy 7 312 Ft
Nuclear Power's Role in Generating Electricity: A CBO Study: A CBO Study Justin Robert Falk / Book Paperback
common.buy 4 356 Ft
Women in Ancient America: Second Edition Karen Olsen Bruhns / Book Paperback
common.buy 11 490 Ft
Common Core High School: Algebra: CCSS Test Review for the Common Core State Standards Initiative Mometrix Media LLC / Book Paperback
common.buy 14 311 Ft
Investigating Natural Disasters Pack A of 4 Elizabeth Elkins / Book Hardback
common.buy 23 968 Ft
Six pound nineteen per witching hour: Paranormal Personnel Saga #1 Joanna Mazurkiewicz / Book Paperback
common.buy 4 400 Ft
Introduction to the Libertarian Party: For Democrats, Republicans, Libertarians, Independents, and Everyone Else Wes Benedict / Book Paperback
common.buy 4 014 Ft
All my love, Thad Woodman Catherine Woodman / Book Paperback
common.buy 5 879 Ft
Project X Origins: White Book Band, Oxford Level 10: Robots: Guided reading notes Christine Jenkins / Book Paperback
common.buy 3 209 Ft
Activating God's Power in Kalvin Michelle Leslie / Book Paperback
common.buy 4 028 Ft
Case Against the Davis-Bacon Act THIEBLOT / Book Hardback
common.buy 94 481 Ft
ARBUCKLES' ARIOSA COFFEE Victorian Trade Cards JEFFREY BUCK / Book Paperback
common.buy 13 042 Ft
Darkness Before Dawn Claire Contreras / Book Paperback
common.buy 5 087 Ft
Clinical Progress in Sports Medicine ELLIS BAKER / Book Hardback
common.buy 52 411 Ft
Big Book of Quick, Easy Family Recipes Christine Bailey / Book Paperback
common.buy 6 195 Ft
Dressage Principles and Techniques Miguel de Lancastre e Tavora / Book Hardback
common.buy 17 116 Ft
Identity Theft Duane Sheriff / Book Hardback
common.buy 11 520 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?