Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

High-Integrity Software

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

C.T. Sennett

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01377502

Verlag Springer, Berlin, März 1990

4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6... Vollständige Beschreibung

Libristo-Code: 01377502

220 b

91.14 €

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Classroom of the Elite Light Novel 04 Syougo Kinugasa

Buch

11.94 €

Gabi, tu me fais trop rigoler! Bravi

Buch

11.43 €

Faber - Castell Fixy Connector 60 ks

Spielzeug

22.37 €

Atlas des vikings 789-1100 Haywood

Broschur

37.87 €

AULA PLUS 4 LIBRO DEL ALUMNO

Buch

33.31 €

Die Legende vom Hermunduren G. K. Grasse

Broschur

18.02 €

L'enfant AJT expliqué aux adultes Favereau

Broschur

18.32 €

piano di emergenza ed evacuazione. Manuale operativo Paolo Muneretto

Broschur

50.43 €

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

Hardcover

10.12 €

Histoire de L'Astronomie Moderne M. Delambre

Broschur

9.51 €

Baila Como Una Hoja Claudia Navarro

Broschur

9.00 €

Duineser Elegien (Grossdruck) Rainer Maria Rilke

Broschur

5.46 €

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

Broschur

56.30 €

Ford Mustang Matt Cook

Broschur

10.32 €

Und heilt alle deine Gebrechen Jörg Müller

Broschur

10.22 €

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

Broschur

14.47 €

Prozesse Rainer Schützeichel

Broschur

61.37 €

Die Erfindung des Weihnachtsbaums Bernd Brunner

Hardcover

12.24 €

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

Hardcover

190.30 €

Lambacher Schweizer Mathematik 5. Ausgabe Hessen

Hardcover

37.77 €

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

Hardcover

7.18 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name High-Integrity Software

Autor C.T. Sennett

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1990

Anzahl der Seiten 360

EAN 9780306435522

Libristo-Code 01377502

Verlag Springer, Berlin

Gewicht 1000

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Betriebssysteme

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Arithmetic Groups J. E. Humphreys

Broschur

26.02 €

Women in Ancient America: Second Edition Karen Olsen Bruhns

Broschur

31.19 €

Empirical Analysis of Real Estate Investment Trusts in Asia Pham Anh Khoi

Broschur

93.47 €

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

Broschur

13.46 €

Blount Tempest. [A Novel.] John Chippendall Montesquieu Bellew

Broschur

26.73 €

Alice Walker's Influence on Womanist Theology Gladys J Ph D Willis

Broschur

9.71 €

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

Broschur

38.17 €