Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

High-Integrity Software

Taal EngelsEngels
Boek Gebonden (harde band)
Boek High-Integrity Software C.T. Sennett
Libristo-code: 01377502
Uitgeverij Springer, Berlin, maart 1990
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6... Volledige beschrijving
? points 231 b
95.38 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Retourneren binnen 30 dagen

Klanten kochten ook

Nieuw
Classroom of the Elite Light Novel 04 Syougo Kinugasa / Boek Boek
common.buy 11.91 €
Gabi, tu me fais trop rigoler! Bravi / Boek Boek
common.buy 11.41 €
Faber - Castell Fixy Connector 60 ks / Spel/speelgoed Speelgoed
common.buy 21.11 €
Atlas des vikings 789-1100 Haywood / Boek Gebonden (paperback)
common.buy 37.78 €
AULA PLUS 4 LIBRO DEL ALUMNO / Boek Boek
common.buy 33.24 €
Die Legende vom Hermunduren G. K. Grasse / Boek Gebonden (paperback)
common.buy 17.98 €
L'enfant AJT expliqué aux adultes Favereau / Boek Gebonden (paperback)
common.buy 18.28 €
Rytíři a dámy papežských řádů Josef Dolejší / Boek Gebonden (harde band)
common.buy 10.10 €
Voordelig
Histoire de L'Astronomie Moderne M. Delambre / Boek Gebonden (paperback)
common.buy 9.49 €
Baila Como Una Hoja Claudia Navarro / Boek Gebonden (paperback)
common.buy 8.38 €
Duineser Elegien (Grossdruck) Rainer Maria Rilke / Boek Gebonden (paperback)
common.buy 5.45 €
Ford Mustang Matt Cook / Boek Gebonden (paperback)
common.buy 10.30 €
Und heilt alle deine Gebrechen Jörg Müller / Boek Gebonden (paperback)
common.buy 10.80 €
Leben unter den Bomben - Berlin im Zweiten Weltkrieg Niklas Möring / Boek Gebonden (paperback)
common.buy 14.44 €
Prozesse Rainer Schützeichel / Boek Gebonden (paperback)
common.buy 61.23 €
Die Erfindung des Weihnachtsbaums Bernd Brunner / Boek Gebonden (harde band)
common.buy 12.22 €
German Yearbook of International Law / Jahrbuch für Internationales Recht.. Vol. 53 (2010) Thomas Giegerich / Boek Gebonden (harde band)
common.buy 199.27 €
Lambacher Schweizer Mathematik 5. Ausgabe Hessen / Boek Gebonden (harde band)
common.buy 37.68 €
V Írsku prší inak Števa Opremčáková / Boek Gebonden (harde band)
common.buy 7.16 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam High-Integrity Software
Auteur C.T. Sennett
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 1990
Aantal pagina's 360
EAN 9780306435522
Libristo-code 01377502
Uitgeverij Springer, Berlin
Gewicht 1000

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Besturingssystemen
Informatica en informatietechnologie > Informatica
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Arithmetic Groups J. E. Humphreys / Boek Gebonden (paperback)
common.buy 25.96 €
Ted Hughes Neil Roberts / Boek Gebonden (paperback)
common.buy 61.03 €
Empirical Analysis of Real Estate Investment Trusts in Asia Pham Anh Khoi / Boek Gebonden (paperback)
common.buy 93.26 €
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 / Boek Gebonden (paperback)
common.buy 12.62 €
Blount Tempest. [A Novel.] John Chippendall Montesquieu Bellew / Boek Gebonden (paperback)
common.buy 25.15 €
Alice Walker's Influence on Womanist Theology Gladys J Ph D Willis / Boek Gebonden (paperback)
common.buy 9.19 €
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 / Boek Gebonden (paperback)
common.buy 36.37 €
Secret Diary of Ben Zoma John W McGinley / Boek Gebonden (paperback)
common.buy 22.32 €
Managing Agile Alan Moran / Boek Gebonden (harde band)
common.buy 50.52 €
Lex Luthor's Power Grab! Louise Simonson / Boek Gebonden (harde band)
common.buy 20.30 €
Women in Ancient America: Second Edition Karen Olsen Bruhns / Boek Gebonden (paperback)
common.buy 29.80 €
Common Core High School: Algebra: CCSS Test Review for the Common Core State Standards Initiative Mometrix Media LLC / Boek Gebonden (paperback)
common.buy 36.37 €
Big Book of Quick, Easy Family Recipes Christine Bailey / Boek Gebonden (paperback)
common.buy 19.29 €
Investigating Natural Disasters Pack A of 4 Elizabeth Elkins / Boek Gebonden (harde band)
common.buy 61.23 €
Six pound nineteen per witching hour: Paranormal Personnel Saga #1 Joanna Mazurkiewicz / Boek Gebonden (paperback)
common.buy 11.21 €
Introduction to the Libertarian Party: For Democrats, Republicans, Libertarians, Independents, and Everyone Else Wes Benedict / Boek Gebonden (paperback)
common.buy 10.30 €
Winning at Collaboration Commerce Heidi Collins / Boek Gebonden (harde band)
common.buy 77.90 €
Activating God's Power in Kalvin Michelle Leslie / Boek Gebonden (paperback)
common.buy 10.30 €
Case Against the Davis-Bacon Act THIEBLOT / Boek Gebonden (harde band)
common.buy 208.87 €
Darkness Before Dawn Claire Contreras / Boek Gebonden (paperback)
common.buy 13.03 €
TOP
Blade of the Immortal Deluxe Volume 8 Tomoko Saito / Boek Gebonden (harde band)
common.buy 37.78 €
Distilled Spirits Don Lattin / Boek Gebonden (harde band)
common.buy 28.28 €
Race To Incarcerate Marc Mauer / Boek Gebonden (paperback)
common.buy 20.30 €
High-Yield Biostatistics, Epidemiology, and Public Health Anthony N. Glaser / Boek Gebonden (paperback)
common.buy 48.19 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken