Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

High-Integrity Software

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga High-Integrity Software C.T. Sennett
Libristo kod: 01377502
Nakladnici Springer, Berlin, ožujak 1990
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6... Cijeli opis
? points 209 b
86.35 €
50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

Do 30 dana za povrat

Kupci su kupili i

Rytíři a dámy papežských řádů Josef Dolejší / Knjiga Tvrdi uvez
common.buy 9.48 €
Gabi, tu me fais trop rigoler! Bravi / Knjiga Knjiga
common.buy 10.70 €
piano di emergenza ed evacuazione. Manuale operativo Paolo Muneretto / Knjiga Meki uvez
common.buy 47.67 €
L'enfant AJT expliqué aux adultes Favereau / Knjiga Meki uvez
common.buy 17.26 €
Die Legende vom Hermunduren G. K. Grasse / Knjiga Meki uvez
common.buy 17.97 €
Atlas des vikings 789-1100 Haywood / Knjiga Meki uvez
common.buy 36.35 €
AULA PLUS 4 LIBRO DEL ALUMNO / Knjiga Knjiga
common.buy 31.81 €
Classroom of the Elite Light Novel 04 Syougo Kinugasa / Knjiga Knjiga
common.buy 11.91 €
Faber - Castell Fixy Connector 60 ks / Igra/Igračka Igračka
common.buy 21.10 €
Povoljno
Histoire de L'Astronomie Moderne M. Delambre / Knjiga Meki uvez
common.buy 9.48 €
Baila Como Una Hoja Claudia Navarro / Knjiga Meki uvez
common.buy 8.37 €
Duineser Elegien (Grossdruck) Rainer Maria Rilke / Knjiga Meki uvez
common.buy 5.44 €
Aesop for Children (Simplified Chinese): 06 Paperback Color H y Xiao Phd / Knjiga Meki uvez
common.buy 53.42 €
Ford Mustang Matt Cook / Knjiga Meki uvez
common.buy 10.29 €
Und heilt alle deine Gebrechen Jörg Müller / Knjiga Meki uvez
common.buy 9.59 €
Leben unter den Bomben - Berlin im Zweiten Weltkrieg Niklas Möring / Knjiga Meki uvez
common.buy 14.43 €
Prozesse Rainer Schützeichel / Knjiga Meki uvez
common.buy 61.20 €
Die Erfindung des Weihnachtsbaums Bernd Brunner / Knjiga Tvrdi uvez
common.buy 12.21 €
German Yearbook of International Law / Jahrbuch für Internationales Recht.. Vol. 53 (2010) Thomas Giegerich / Knjiga Tvrdi uvez
common.buy 210.19 €
Lambacher Schweizer Mathematik 5. Ausgabe Hessen / Knjiga Tvrdi uvez
common.buy 37.67 €
V Írsku prší inak Števa Opremčáková / Knjiga Tvrdi uvez
common.buy 6.66 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv High-Integrity Software
Autor C.T. Sennett
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 1990
Broj stranica 360
EAN 9780306435522
Libristo kod 01377502
Nakladnici Springer, Berlin
Težina 1000

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Arithmetic Groups J. E. Humphreys / Knjiga Meki uvez
common.buy 25.85 €
Six pound nineteen per witching hour: Paranormal Personnel Saga #1 Joanna Mazurkiewicz / Knjiga Meki uvez
common.buy 11.20 €
Blount Tempest. [A Novel.] John Chippendall Montesquieu Bellew / Knjiga Meki uvez
common.buy 25.14 €
Alice Walker's Influence on Womanist Theology Gladys J Ph D Willis / Knjiga Meki uvez
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 / Knjiga Meki uvez
common.buy 36.35 €
Secret Diary of Ben Zoma John W McGinley / Knjiga Meki uvez
common.buy 16.76 €
Managing Agile Alan Moran / Knjiga Tvrdi uvez
common.buy 50.50 €
Lex Luthor's Power Grab! Louise Simonson / Knjiga Tvrdi uvez
common.buy 17.87 €
Nuclear Power's Role in Generating Electricity: A CBO Study: A CBO Study Justin Robert Falk / Knjiga Meki uvez
common.buy 11.40 €
Women in Ancient America: Second Edition Karen Olsen Bruhns / Knjiga Meki uvez
common.buy 29.79 €
Common Core High School: Algebra: CCSS Test Review for the Common Core State Standards Initiative Mometrix Media LLC / Knjiga Meki uvez
common.buy 37.36 €
Investigating Natural Disasters Pack A of 4 Elizabeth Elkins / Knjiga Tvrdi uvez
common.buy 61.20 €
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 Meki uvez
common.buy 12.62 €
Introduction to the Libertarian Party: For Democrats, Republicans, Libertarians, Independents, and Everyone Else Wes Benedict / Knjiga Meki uvez
common.buy 10.29 €
Winning at Collaboration Commerce Heidi Collins / Knjiga Tvrdi uvez
common.buy 94.84 €
Activating God's Power in Kalvin Michelle Leslie / Knjiga Meki uvez
common.buy 10.29 €
Case Against the Davis-Bacon Act THIEBLOT / Knjiga Tvrdi uvez
common.buy 244.03 €
ARBUCKLES' ARIOSA COFFEE Victorian Trade Cards JEFFREY BUCK / Knjiga Meki uvez
common.buy 37.06 €
Darkness Before Dawn Claire Contreras / Knjiga Meki uvez
common.buy 13.02 €
Big Book of Quick, Easy Family Recipes Christine Bailey / Knjiga Meki uvez
common.buy 15.14 €
Dressage Principles and Techniques Miguel de Lancastre e Tavora / Knjiga Tvrdi uvez
common.buy 43.93 €
Python Programming Computer Programming Academy / Knjiga Meki uvez
common.buy 19.38 €
Guide To The Study And Reading Of American History Edward Channing / Knjiga Meki uvez
common.buy 48.58 €
Anti-Diet: Reclaim Your Time, Money, Well-Being, and Happiness Through Intuitive Eating Christy Harrison / Knjiga Meki uvez
common.buy 15.75 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?