Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 4.49 € DPD točka 3.99 € GLS Kurir 5.49 € GLS paketomat 4.49 € Hrvatska pošta 5.49 € Dostava Overseas 5.49 € Box Now 4.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

High-Integrity Software

Name: High-Integrity Software
Brand: Springer, Berlin
SKU: 01377502
Price: 85.66 EUR
Availability: InStock
Author: C.T. Sennett
ISBN: 9780306435522

C.T. Sennett

Jezik

Engleski

Knjiga Tvrdi uvez

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

Libristo kod: 01377502

209 b

85.66 €

50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

Do 30 dana za povrat

Kupci su kupili i

Die Legende vom Hermunduren G. K. Grasse

Meki uvez

17.87 €

Pinocchio - Die Geschichte vom hölzernen Bengele Carlo Collodi

Meki uvez

13.25 €

Gabi, tu me fais trop rigoler! Bravi

Knjiga

9.73 €

Atlas des vikings 789-1100 Haywood

Meki uvez

35.84 €

Rytíři a dámy papežských řádů Josef Dolejší

Tvrdi uvez

9.43 €

AULA PLUS 4 LIBRO DEL ALUMNO

Knjiga

31.53 €

L'enfant AJT expliqué aux adultes Favereau

Meki uvez

16.26 €

Die Schwestern vom Ku'damm: Ein neuer Morgen Brigitte Riebe

Meki uvez

11.74 €

Classroom of the Elite Light Novel 04 Syougo Kinugasa

Knjiga

11.84 €

Qualitatslernen Dieter Specht

Meki uvez

37.55 €

V Írsku prší inak Števa Opremčáková

Tvrdi uvez

6.62 €

Lambacher Schweizer Mathematik 5. Ausgabe Hessen

Tvrdi uvez

37.45 €

German Yearbook of International Law / Jahrbuch für Internationales Recht.. Vol. 53 (2010) Thomas Giegerich

Tvrdi uvez

208.89 €

Die Erfindung des Weihnachtsbaums Bernd Brunner

Tvrdi uvez

13.45 €

Prozesse Rainer Schützeichel

Meki uvez

60.85 €

Leben unter den Bomben - Berlin im Zweiten Weltkrieg Niklas Möring

Meki uvez

14.35 €

Und heilt alle deine Gebrechen Jörg Müller

Meki uvez

9.43 €

História Európy v malých sústach Jacob F. Field

Tvrdi uvez

9.43 €

Ford Mustang Matt Cook

Meki uvez

10.23 €

Aesop for Children (Simplified Chinese): 06 Paperback Color H y Xiao Phd

Meki uvez

54.52 €

Duineser Elegien (Grossdruck) Rainer Maria Rilke

Meki uvez

5.71 €

Baila Como Una Hoja Claudia Navarro

Meki uvez

9.53 €

Histoire de L'Astronomie Moderne M. Delambre

Meki uvez

3.10 €

Faber - Castell Fixy Connector 60 ks

Igračka

30.42 €

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.