Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

High-Integrity Software

Limba englezăengleză
Carte Copertă tare
Carte High-Integrity Software C.T. Sennett
Codul Libristo: 01377502
Editura Springer, Berlin, martie 1990
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6... Descrierea completă
? points 220 b
478.21 lei
șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Nou
Classroom of the Elite Light Novel 04 Syougo Kinugasa / Carte Carte
common.buy 66.62 lei
Gabi, tu me fais trop rigoler! Bravi / Carte Carte
common.buy 59.95 lei
Faber - Castell Fixy Connector 60 ks / Joc / Jucărie Jucărie
common.buy 117.72 lei
Atlas des vikings 789-1100 Haywood / Carte Carte broșată
common.buy 198.64 lei
AULA PLUS 4 LIBRO DEL ALUMNO / Carte Carte
common.buy 174.97 lei
Die Legende vom Hermunduren G. K. Grasse / Carte Carte broșată
common.buy 100.10 lei
L'enfant AJT expliqué aux adultes Favereau / Carte Carte broșată
common.buy 96.45 lei
Rytíři a dámy papežských řádů Josef Dolejší / Carte Copertă tare
common.buy 52.96 lei
Leftin
Histoire de L'Astronomie Moderne M. Delambre / Carte Carte broșată
common.buy 49.94 lei
Baila Como Una Hoja Claudia Navarro / Carte Carte broșată
common.buy 47.12 lei
Duineser Elegien (Grossdruck) Rainer Maria Rilke / Carte Carte broșată
common.buy 30.44 lei
Ford Mustang Matt Cook / Carte Carte broșată
common.buy 57.55 lei
Und heilt alle deine Gebrechen Jörg Müller / Carte Carte broșată
common.buy 53.80 lei
Leben unter den Bomben - Berlin im Zweiten Weltkrieg Niklas Möring / Carte Carte broșată
common.buy 80.08 lei
Prozesse Rainer Schützeichel / Carte Carte broșată
common.buy 340.04 lei
Die Erfindung des Weihnachtsbaums Bernd Brunner / Carte Copertă tare
common.buy 67.98 lei
German Yearbook of International Law / Jahrbuch für Internationales Recht.. Vol. 53 (2010) Thomas Giegerich / Carte Copertă tare
common.buy 998.66 lei
Lambacher Schweizer Mathematik 5. Ausgabe Hessen / Carte Copertă tare
common.buy 208.02 lei
V Írsku prší inak Števa Opremčáková / Carte Copertă tare
common.buy 37.74 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet High-Integrity Software
Autor C.T. Sennett
Limba engleză
Legare Carte - Copertă tare
Data publicării 1990
Număr pagini 360
EAN 9780306435522
Codul Libristo 01377502
Editura Springer, Berlin
Greutatea 1000

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Arithmetic Groups J. E. Humphreys / Carte Carte broșată
common.buy 143.79 lei
Ted Hughes Neil Roberts / Carte Carte broșată
common.buy 307.30 lei
Empirical Analysis of Real Estate Investment Trusts in Asia Pham Anh Khoi / Carte Carte broșată
common.buy 518.98 lei
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 / Carte Carte broșată
common.buy 70.79 lei
Blount Tempest. [A Novel.] John Chippendall Montesquieu Bellew / Carte Carte broșată
common.buy 140.45 lei
Alice Walker's Influence on Womanist Theology Gladys J Ph D Willis / Carte Carte broșată
common.buy 50.98 lei
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 / Carte Carte broșată
common.buy 200.20 lei
Secret Diary of Ben Zoma John W McGinley / Carte Carte broșată
common.buy 124.81 lei
Managing Agile Alan Moran / Carte Copertă tare
common.buy 280.08 lei
Lex Luthor's Power Grab! Louise Simonson / Carte Copertă tare
common.buy 100.51 lei
Women in Ancient America: Second Edition Karen Olsen Bruhns / Carte Carte broșată
common.buy 163.50 lei
Common Core High School: Algebra: CCSS Test Review for the Common Core State Standards Initiative Mometrix Media LLC / Carte Carte broșată
common.buy 202.18 lei
Big Book of Quick, Easy Family Recipes Christine Bailey / Carte Carte broșată
common.buy 101.45 lei
Investigating Natural Disasters Pack A of 4 Elizabeth Elkins / Carte Copertă tare
common.buy 338.79 lei
Six pound nineteen per witching hour: Paranormal Personnel Saga #1 Joanna Mazurkiewicz / Carte Carte broșată
common.buy 62.14 lei
Introduction to the Libertarian Party: For Democrats, Republicans, Libertarians, Independents, and Everyone Else Wes Benedict / Carte Carte broșată
common.buy 56.93 lei
Winning at Collaboration Commerce Heidi Collins / Carte Copertă tare
common.buy 409.59 lei
Activating God's Power in Kalvin Michelle Leslie / Carte Carte broșată
common.buy 57.13 lei
Case Against the Davis-Bacon Act THIEBLOT / Carte Copertă tare
common.buy 1 147.26 lei
Darkness Before Dawn Claire Contreras / Carte Carte broșată
common.buy 72.05 lei
Top
Blade of the Immortal Deluxe Volume 8 Tomoko Saito / Carte Copertă tare
common.buy 211.05 lei
Distilled Spirits Don Lattin / Carte Copertă tare
common.buy 156.30 lei
Race To Incarcerate Marc Mauer / Carte Carte broșată
common.buy 111.57 lei
High-Yield Biostatistics, Epidemiology, and Public Health Anthony N. Glaser / Carte Carte broșată
common.buy 266.42 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo