Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

High-Integrity Software

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha High-Integrity Software C.T. Sennett
Libristo kód: 01377502
Nakladatelství Springer, Berlin, březen 1990
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6... Celý popis
? points 220 b
2 196 Kč
50 % šance Prohledáme celý svět Kdy knihu dostanu?

Až 30 dní na vrácení zboží

Zákazníci také koupili

Die Legende vom Hermunduren G. K. Grasse / Kniha Brožovaná
common.buy 410 Kč
Pinocchio - Die Geschichte vom hölzernen Bengele Carlo Collodi / Kniha Brožovaná
common.buy 346 Kč
Gabi, tu me fais trop rigoler! Bravi / Kniha Kniha
common.buy 246 Kč
Atlas des vikings 789-1100 Haywood / Kniha Brožovaná
common.buy 911 Kč
Rytíři a dámy papežských řádů Josef Dolejší / Kniha Pevná
common.buy 235 Kč
AULA PLUS 4 LIBRO DEL ALUMNO / Kniha Kniha
common.buy 804 Kč
piano di emergenza ed evacuazione. Manuale operativo Paolo Muneretto / Kniha Brožovaná
common.buy 1 213 Kč
L'enfant AJT expliqué aux adultes Favereau / Kniha Brožovaná
common.buy 414 Kč
Die Schwestern vom Ku'damm: Ein neuer Morgen Brigitte Riebe / Kniha Brožovaná
common.buy 269 Kč
Classroom of the Elite Light Novel 04 Syougo Kinugasa / Kniha Kniha
common.buy 336 Kč
Qualitatslernen Dieter Specht / Kniha Brožovaná
common.buy 865 Kč
V Írsku prší inak Števa Opremčáková / Kniha Pevná
common.buy 191 Kč
Lambacher Schweizer Mathematik 5. Ausgabe Hessen / Kniha Pevná
common.buy 868 Kč
German Yearbook of International Law / Jahrbuch für Internationales Recht.. Vol. 53 (2010) Thomas Giegerich / Kniha Pevná
common.buy 5 355 Kč
Die Erfindung des Weihnachtsbaums Bernd Brunner / Kniha Pevná
common.buy 347 Kč
Prozesse Rainer Schützeichel / Kniha Brožovaná
common.buy 1 401 Kč
Leben unter den Bomben - Berlin im Zweiten Weltkrieg Niklas Möring / Kniha Brožovaná
common.buy 328 Kč
Und heilt alle deine Gebrechen Jörg Müller / Kniha Brožovaná
common.buy 242 Kč
História Európy v malých sústach Jacob F. Field / Kniha Pevná
common.buy 271 Kč
Ford Mustang Matt Cook / Kniha Brožovaná
common.buy 234 Kč
Aesop for Children (Simplified Chinese): 06 Paperback Color H y Xiao Phd / Kniha Brožovaná
common.buy 1 229 Kč
Duineser Elegien (Grossdruck) Rainer Maria Rilke / Kniha Brožovaná
common.buy 138 Kč
Baila Como Una Hoja Claudia Navarro / Kniha Brožovaná
common.buy 191 Kč
Levně
Histoire de L'Astronomie Moderne M. Delambre / Kniha Brožovaná
common.buy 77 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název High-Integrity Software
Autor C.T. Sennett
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 1990
Počet stran 360
EAN 9780306435522
Libristo kód 01377502
Nakladatelství Springer, Berlin
Váha 1000

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Operační systémy
Výpočetní a informační technologie > Informatika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Arithmetic Groups J. E. Humphreys / Kniha Brožovaná
common.buy 593 Kč
Winning at Collaboration Commerce Heidi Collins / Kniha Pevná
common.buy 2 196 Kč
Blount Tempest. [A Novel.] John Chippendall Montesquieu Bellew / Kniha Brožovaná
common.buy 571 Kč
Alice Walker's Influence on Womanist Theology Gladys J Ph D Willis / Kniha Brožovaná
common.buy 209 Kč
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 / Kniha Brožovaná
common.buy 837 Kč
Secret Diary of Ben Zoma John W McGinley / Kniha Brožovaná
common.buy 380 Kč
Managing Agile Alan Moran / Kniha Pevná
common.buy 1 154 Kč
Lex Luthor's Power Grab! Louise Simonson / Kniha Pevná
common.buy 433 Kč
Nuclear Power's Role in Generating Electricity: A CBO Study: A CBO Study Justin Robert Falk / Kniha Brožovaná
common.buy 264 Kč
Women in Ancient America: Second Edition Karen Olsen Bruhns / Kniha Brožovaná
common.buy 694 Kč
Common Core High School: Algebra: CCSS Test Review for the Common Core State Standards Initiative Mometrix Media LLC / Kniha Brožovaná
common.buy 833 Kč
Investigating Natural Disasters Pack A of 4 Elizabeth Elkins / Kniha Pevná
common.buy 1 404 Kč
Six pound nineteen per witching hour: Paranormal Personnel Saga #1 Joanna Mazurkiewicz / Kniha Brožovaná
common.buy 259 Kč
Introduction to the Libertarian Party: For Democrats, Republicans, Libertarians, Independents, and Everyone Else Wes Benedict / Kniha Brožovaná
common.buy 236 Kč
All my love, Thad Woodman Catherine Woodman / Kniha Brožovaná
common.buy 414 Kč
Project X Origins: White Book Band, Oxford Level 10: Robots: Guided reading notes Christine Jenkins / Kniha Brožovaná
common.buy 242 Kč
Activating God's Power in Kalvin Michelle Leslie / Kniha Brožovaná
common.buy 237 Kč
Case Against the Davis-Bacon Act THIEBLOT / Kniha Pevná
common.buy 5 651 Kč
ARBUCKLES' ARIOSA COFFEE Victorian Trade Cards JEFFREY BUCK / Kniha Brožovaná
common.buy 846 Kč
Darkness Before Dawn Claire Contreras / Kniha Brožovaná
common.buy 299 Kč
Clinical Progress in Sports Medicine ELLIS BAKER / Kniha Pevná
common.buy 3 060 Kč
Big Book of Quick, Easy Family Recipes Christine Bailey / Kniha Brožovaná
common.buy 366 Kč
Dressage Principles and Techniques Miguel de Lancastre e Tavora / Kniha Pevná
common.buy 961 Kč
Identity Theft Duane Sheriff / Kniha Pevná
common.buy 695 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?