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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,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 220 b
90.86 €
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 14.02 €
Gabi, tu me fais trop rigoler! Bravi / Boek Boek
common.buy 11.40 €
Faber - Castell Fixy Connector 60 ks / Spel/speelgoed Speelgoed
common.buy 21.09 €
Atlas des vikings 789-1100 Haywood / Boek Gebonden (paperback)
common.buy 37.75 €
AULA PLUS 4 LIBRO DEL ALUMNO / Boek Boek
common.buy 33.21 €
Die Legende vom Hermunduren G. K. Grasse / Boek Gebonden (paperback)
common.buy 17.96 €
L'enfant AJT expliqué aux adultes Favereau / Boek Gebonden (paperback)
common.buy 18.27 €
piano di emergenza ed evacuazione. Manuale operativo Paolo Muneretto / Boek Gebonden (paperback)
common.buy 50.27 €
Rytíři a dámy papežských řádů Josef Dolejší / Boek Gebonden (harde band)
common.buy 10.09 €
Voordelig
Histoire de L'Astronomie Moderne M. Delambre / Boek Gebonden (paperback)
common.buy 9.48 €
Baila Como Una Hoja Claudia Navarro / Boek Gebonden (paperback)
common.buy 8.37 €
Duineser Elegien (Grossdruck) Rainer Maria Rilke / Boek Gebonden (paperback)
common.buy 5.44 €
Aesop for Children (Simplified Chinese): 06 Paperback Color H y Xiao Phd / Boek Gebonden (paperback)
common.buy 53.40 €
Ford Mustang Matt Cook / Boek Gebonden (paperback)
common.buy 10.29 €
Und heilt alle deine Gebrechen Jörg Müller / Boek Gebonden (paperback)
common.buy 10.19 €
Leben unter den Bomben - Berlin im Zweiten Weltkrieg Niklas Möring / Boek Gebonden (paperback)
common.buy 14.43 €
Prozesse Rainer Schützeichel / Boek Gebonden (paperback)
common.buy 61.18 €
Die Erfindung des Weihnachtsbaums Bernd Brunner / Boek Gebonden (harde band)
common.buy 12.21 €
German Yearbook of International Law / Jahrbuch für Internationales Recht.. Vol. 53 (2010) Thomas Giegerich / Boek Gebonden (harde band)
common.buy 189.71 €
Lambacher Schweizer Mathematik 5. Ausgabe Hessen / Boek Gebonden (harde band)
common.buy 37.65 €
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.94 €
Women in Ancient America: Second Edition Karen Olsen Bruhns / Boek Gebonden (paperback)
common.buy 29.78 €
Empirical Analysis of Real Estate Investment Trusts in Asia Pham Anh Khoi / Boek Gebonden (paperback)
common.buy 93.18 €
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.61 €
Blount Tempest. [A Novel.] John Chippendall Montesquieu Bellew / Boek Gebonden (paperback)
common.buy 25.13 €
Alice Walker's Influence on Womanist Theology Gladys J Ph D Willis / Boek Gebonden (paperback)
common.buy 9.18 €
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.34 €
Secret Diary of Ben Zoma John W McGinley / Boek Gebonden (paperback)
common.buy 22.30 €
Managing Agile Alan Moran / Boek Gebonden (harde band)
common.buy 50.47 €
Lex Luthor's Power Grab! Louise Simonson / Boek Gebonden (harde band)
common.buy 19.07 €
Nuclear Power's Role in Generating Electricity: A CBO Study: A CBO Study Justin Robert Falk / Boek Gebonden (paperback)
common.buy 11.40 €
Darwin in the Archives Duncan M. Porter / Boek Gebonden (paperback)
common.buy 40.58 €
Common Core High School: Algebra: CCSS Test Review for the Common Core State Standards Initiative Mometrix Media LLC / Boek Gebonden (paperback)
common.buy 36.34 €
TOP
Dressage Principles and Techniques Miguel de Lancastre e Tavora / Boek Gebonden (harde band)
common.buy 43.91 €
Investigating Natural Disasters Pack A of 4 Elizabeth Elkins / Boek Gebonden (harde band)
common.buy 61.18 €
Six pound nineteen per witching hour: Paranormal Personnel Saga #1 Joanna Mazurkiewicz / Boek Gebonden (paperback)
common.buy 11.20 €
Introduction to the Libertarian Party: For Democrats, Republicans, Libertarians, Independents, and Everyone Else Wes Benedict / Boek Gebonden (paperback)
common.buy 10.29 €
Big Book of Quick, Easy Family Recipes Christine Bailey / Boek Gebonden (paperback)
common.buy 18.06 €
Winning at Collaboration Commerce Heidi Collins / Boek Gebonden (harde band)
common.buy 74.10 €
Activating God's Power in Kalvin Michelle Leslie / Boek Gebonden (paperback)
common.buy 10.29 €
Case Against the Davis-Bacon Act THIEBLOT / Boek Gebonden (harde band)
common.buy 208.69 €
Darkness Before Dawn Claire Contreras / Boek Gebonden (paperback)
common.buy 13.01 €
TOP
Blade of the Immortal Deluxe Volume 8 Tomoko Saito / Boek Gebonden (harde band)
common.buy 37.75 €
Distilled Spirits Don Lattin / Boek Gebonden (harde band)
common.buy 28.26 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?