Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

High-Integrity Software

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

C.T. Sennett

Lingua

Inglese

Libro Rigido

Codice Libristo: 01377502

Casa editrice Springer, Berlin, marzo 1990

4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6... Descrizione completa

Codice Libristo: 01377502

219 b

89.69 €

50% di possibilità Cercheremo nel mondo Quando riceverò il libro?

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Die Legende vom Hermunduren G. K. Grasse

In brossura

18.79 €

Pinocchio - Die Geschichte vom hölzernen Bengele Carlo Collodi

In brossura

14.09 €

Gabi, tu me fais trop rigoler! Bravi

Libro

9.69 €

Atlas des vikings 789-1100 Haywood

In brossura

35.79 €

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

Rigido

10.79 €

AULA PLUS 4 LIBRO DEL ALUMNO

Libro

31.39 €

piano di emergenza ed evacuazione. Manuale operativo Paolo Muneretto

In brossura

47.09 €

L'enfant AJT expliqué aux adultes Favereau

In brossura

16.19 €

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

In brossura

12.29 €

Classroom of the Elite Light Novel 04 Syougo Kinugasa

Libro

13.69 €

Qualitatslernen Dieter Specht

In brossura

39.39 €

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

Rigido

7.79 €

Lambacher Schweizer Mathematik 5. Ausgabe Hessen

Rigido

39.19 €

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

Rigido

218.79 €

Die Erfindung des Weihnachtsbaums Bernd Brunner

Rigido

14.19 €

Prozesse Rainer Schützeichel

In brossura

63.99 €

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

In brossura

14.30 €

Und heilt alle deine Gebrechen Jörg Müller

In brossura

9.89 €

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

Rigido

11.09 €

Ford Mustang Matt Cook

In brossura

10.79 €

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

In brossura

50.21 €

Duineser Elegien (Grossdruck) Rainer Maria Rilke

In brossura

5.69 €

Baila Como Una Hoja Claudia Navarro

In brossura

8.49 €

Histoire de L'Astronomie Moderne M. Delambre

In brossura

3.09 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo High-Integrity Software

Autore C.T. Sennett

Lingua

Inglese

Rilegatura Libro - Rigido

Data di pubblicazione 1990

Numero di pagine 360

EAN 9780306435522

Codice Libristo 01377502

Casa editrice Springer, Berlin

Peso 1000

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Sistemi operativi

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Arithmetic Groups J. E. Humphreys

In brossura

26.99 €

Winning at Collaboration Commerce Heidi Collins

Rigido

93.89 €

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

In brossura

24.89 €

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

In brossura

9.09 €

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

In brossura

34.20 €