Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

High-Integrity Software

Език Английски езикАнглийски език
Книга С твърди корици
Книга High-Integrity Software C.T. Sennett
Код Либристо: 01377502
Издателство Springer, Berlin, март 1990
4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6... Цялото описание
? points 231 b
95.54 €
186.87  лв
50% вероятност Ще претърсим света Кога ще получа книгата?

30 дни за връщане на стоката

Клиентите са закупили също

Нови
Classroom of the Elite Light Novel 04 Syougo Kinugasa / Книга Книга
common.buy 12.67 € 24.78 лв
Gabi, tu me fais trop rigoler! Bravi / Книга Книга
common.buy 11.89 € 23.26 лв
Faber - Castell Fixy Connector 60 ks / Игра/играчка Играчка
common.buy 22.39 € 43.80 лв
Atlas des vikings 789-1100 Haywood / Книга С меки корици
common.buy 33.57 € 65.65 лв
AULA PLUS 4 LIBRO DEL ALUMNO / Книга Книга
common.buy 34.76 € 67.98 лв
Die Legende vom Hermunduren G. K. Grasse / Книга С меки корици
common.buy 19.03 € 37.22 лв
L'enfant AJT expliqué aux adultes Favereau / Книга С меки корици
common.buy 19.14 € 37.43 лв
Rytíři a dámy papežských řádů Josef Dolejší / Книга С твърди корици
common.buy 10.65 € 20.83 лв
Изгодно
Histoire de L'Astronomie Moderne M. Delambre / Книга С меки корици
common.buy 9.51 € 18.61 лв
Baila Como Una Hoja Claudia Navarro / Книга С меки корици
common.buy 8.43 € 16.48 лв
Duineser Elegien (Grossdruck) Rainer Maria Rilke / Книга С меки корици
common.buy 5.79 € 11.32 лв
Ford Mustang Matt Cook / Книга С меки корици
common.buy 10.96 € 21.44 лв
Und heilt alle deine Gebrechen Jörg Müller / Книга С меки корици
common.buy 10.81 € 21.14 лв
Leben unter den Bomben - Berlin im Zweiten Weltkrieg Niklas Möring / Книга С меки корици
common.buy 15.26 € 29.84 лв
Prozesse Rainer Schützeichel / Книга С меки корици
common.buy 64.71 € 126.57 лв
Die Erfindung des Weihnachtsbaums Bernd Brunner / Книга С твърди корици
common.buy 12.93 € 25.28 лв
German Yearbook of International Law / Jahrbuch für Internationales Recht.. Vol. 53 (2010) Thomas Giegerich / Книга С твърди корици
common.buy 199.47 € 390.14 лв
Lambacher Schweizer Mathematik 5. Ausgabe Hessen / Книга С твърди корици
common.buy 39.62 € 77.49 лв
V Írsku prší inak Števa Opremčáková / Книга С твърди корици
common.buy 7.70 € 15.07 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие High-Integrity Software
Автор C.T. Sennett
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 1990
Брой страници 360
Баркод 9780306435522
Код Либристо 01377502
Издателство Springer, Berlin
Тегло 1000

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Arithmetic Groups J. E. Humphreys / Книга С меки корици
common.buy 27.36 € 53.51 лв
Ted Hughes Neil Roberts / Книга С меки корици
common.buy 61.14 € 119.58 лв
Empirical Analysis of Real Estate Investment Trusts in Asia Pham Anh Khoi / Книга С меки корици
common.buy 98.80 € 193.24 лв
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 / Книга С меки корици
common.buy 12.67 € 24.78 лв
Blount Tempest. [A Novel.] John Chippendall Montesquieu Bellew / Книга С меки корици
common.buy 25.19 € 49.26 лв
Alice Walker's Influence on Womanist Theology Gladys J Ph D Willis / Книга С меки корици
common.buy 9.15 € 17.90 лв
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 / Книга С меки корици
common.buy 36.36 € 71.12 лв
Secret Diary of Ben Zoma John W McGinley / Книга С меки корици
common.buy 22.39 € 43.80 лв
Managing Agile Alan Moran / Книга С твърди корици
common.buy 53.33 € 104.31 лв
Lex Luthor's Power Grab! Louise Simonson / Книга С твърди корици
common.buy 20.33 € 39.75 лв
Women in Ancient America: Second Edition Karen Olsen Bruhns / Книга С меки корици
common.buy 29.90 € 58.47 лв
Common Core High School: Algebra: CCSS Test Review for the Common Core State Standards Initiative Mometrix Media LLC / Книга С меки корици
common.buy 38.48 € 75.27 лв
Big Book of Quick, Easy Family Recipes Christine Bailey / Книга С меки корици
common.buy 19.29 € 37.73 лв
Investigating Natural Disasters Pack A of 4 Elizabeth Elkins / Книга С твърди корици
common.buy 64.50 € 126.16 лв
Six pound nineteen per witching hour: Paranormal Personnel Saga #1 Joanna Mazurkiewicz / Книга С меки корици
common.buy 11.22 € 21.95 лв
Introduction to the Libertarian Party: For Democrats, Republicans, Libertarians, Independents, and Everyone Else Wes Benedict / Книга С меки корици
common.buy 10.29 € 20.12 лв
Winning at Collaboration Commerce Heidi Collins / Книга С твърди корици
common.buy 77.95 € 152.47 лв
Activating God's Power in Kalvin Michelle Leslie / Книга С меки корици
common.buy 10.34 € 20.23 лв
Case Against the Davis-Bacon Act THIEBLOT / Книга С твърди корици
common.buy 209.15 € 409.06 лв
Darkness Before Dawn Claire Contreras / Книга С меки корици
common.buy 13.08 € 25.59 лв
Top
Blade of the Immortal Deluxe Volume 8 Tomoko Saito / Книга С твърди корици
common.buy 37.81 € 73.95 лв
Distilled Spirits Don Lattin / Книга С твърди корици
common.buy 28.29 € 55.33 лв
Race To Incarcerate Marc Mauer / Книга С меки корици
common.buy 20.27 € 39.65 лв
High-Yield Biostatistics, Epidemiology, and Public Health Anthony N. Glaser / Книга С меки корици
common.buy 50.74 € 99.25 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo