Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

High-Integrity Software

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga High-Integrity Software C.T. Sennett
Koda Libristo: 01377502
Založba Springer, Berlin, marec 1990
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6... Celoten opis
? points 198 b
82.13 €
50% možnost Preiskali bomo ves svet Kdaj dobim knjigo?

30 dni za vračilo blaga

Drugi so kupili tudi

Novo
Classroom of the Elite Light Novel 04 Syougo Kinugasa / Knjiga Knjiga
common.buy 11.23 €
Gabi, tu me fais trop rigoler! Bravi / Knjiga Knjiga
common.buy 10.42 €
Faber - Castell Fixy Connector 60 ks / Igra/Igrača Igrača
common.buy 19.94 €
Atlas des vikings 789-1100 Haywood / Knjiga Mehka
common.buy 34.93 €
AULA PLUS 4 LIBRO DEL ALUMNO / Knjiga Knjiga
common.buy 30.48 €
Die Legende vom Hermunduren G. K. Grasse / Knjiga Mehka
common.buy 17.01 €
L'enfant AJT expliqué aux adultes Favereau / Knjiga Mehka
common.buy 16.70 €
piano di emergenza ed evacuazione. Manuale operativo Paolo Muneretto / Knjiga Mehka
common.buy 45.47 €
Rytíři a dámy papežských řádů Josef Dolejší / Knjiga Trda
common.buy 8.90 €
Poceni
Histoire de L'Astronomie Moderne M. Delambre / Knjiga Mehka
common.buy 9.51 €
Baila Como Una Hoja Claudia Navarro / Knjiga Mehka
common.buy 7.89 €
Duineser Elegien (Grossdruck) Rainer Maria Rilke / Knjiga Mehka
common.buy 5.26 €
Aesop for Children (Simplified Chinese): 06 Paperback Color H y Xiao Phd / Knjiga Mehka
common.buy 50.83 €
Ford Mustang Matt Cook / Knjiga Mehka
common.buy 9.71 €
Und heilt alle deine Gebrechen Jörg Müller / Knjiga Mehka
common.buy 9.11 €
Leben unter den Bomben - Berlin im Zweiten Weltkrieg Niklas Möring / Knjiga Mehka
common.buy 13.56 €
Prozesse Rainer Schützeichel / Knjiga Mehka
common.buy 57.92 €
Die Erfindung des Weihnachtsbaums Bernd Brunner / Knjiga Trda
common.buy 11.54 €
German Yearbook of International Law / Jahrbuch für Internationales Recht.. Vol. 53 (2010) Thomas Giegerich / Knjiga Trda
common.buy 171.46 €
Lambacher Schweizer Mathematik 5. Ausgabe Hessen / Knjiga Trda
common.buy 35.95 €
V Írsku prší inak Števa Opremčáková / Knjiga Trda
common.buy 6.17 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov High-Integrity Software
Avtor C.T. Sennett
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 1990
Število strani 360
EAN 9780306435522
Koda Libristo 01377502
Založba Springer, Berlin
Teža 1000

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Arithmetic Groups J. E. Humphreys / Knjiga Mehka
common.buy 24.60 €
Women in Ancient America: Second Edition Karen Olsen Bruhns / Knjiga Mehka
common.buy 28.75 €
Empirical Analysis of Real Estate Investment Trusts in Asia Pham Anh Khoi / Knjiga Mehka
common.buy 88.00 €
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 / Knjiga Mehka
common.buy 11.84 €
Blount Tempest. [A Novel.] John Chippendall Montesquieu Bellew / Knjiga Mehka
common.buy 23.59 €
Alice Walker's Influence on Womanist Theology Gladys J Ph D Willis / Knjiga Mehka
common.buy 8.60 €
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 / Knjiga Mehka
common.buy 34.63 €
Secret Diary of Ben Zoma John W McGinley / Knjiga Mehka
common.buy 21.06 €
Managing Agile Alan Moran / Knjiga Trda
common.buy 47.80 €
Lex Luthor's Power Grab! Louise Simonson / Knjiga Trda
common.buy 16.70 €
Nuclear Power's Role in Generating Electricity: A CBO Study: A CBO Study Justin Robert Falk / Knjiga Mehka
common.buy 10.93 €
Darwin in the Archives Duncan M. Porter / Knjiga Mehka
common.buy 38.27 €
Common Core High School: Algebra: CCSS Test Review for the Common Core State Standards Initiative Mometrix Media LLC / Knjiga Mehka
common.buy 34.43 €
Top
Dressage Principles and Techniques Miguel de Lancastre e Tavora / Knjiga Trda
common.buy 41.82 €
Investigating Natural Disasters Pack A of 4 Elizabeth Elkins / Knjiga Trda
common.buy 58.13 €
Six pound nineteen per witching hour: Paranormal Personnel Saga #1 Joanna Mazurkiewicz / Knjiga Mehka
common.buy 10.73 €
Introduction to the Libertarian Party: For Democrats, Republicans, Libertarians, Independents, and Everyone Else Wes Benedict / Knjiga Mehka
common.buy 9.71 €
Big Book of Quick, Easy Family Recipes Christine Bailey / Knjiga Mehka
common.buy 16.90 €
Winning at Collaboration Commerce Heidi Collins / Knjiga Trda
common.buy 70.58 €
Activating God's Power in Kalvin Michelle Leslie / Knjiga Mehka
common.buy 9.81 €
Case Against the Davis-Bacon Act THIEBLOT / Knjiga Trda
common.buy 200.02 €
Darkness Before Dawn Claire Contreras / Knjiga Mehka
common.buy 12.35 €
Top
Blade of the Immortal Deluxe Volume 8 Tomoko Saito / Knjiga Trda
common.buy 35.54 €
Distilled Spirits Don Lattin / Knjiga Trda
common.buy 26.93 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?