Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01377502

Nakladateľstvo Springer, Berlin, marec 1990

4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6... Celý popis

Libristo kód: 01377502

220 b

91.14 €

50 % šanca Prehľadáme celý svet Kedy knihu dostanem?

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Classroom of the Elite Light Novel 04 Syougo Kinugasa

Kniha

11.94 €

Gabi, tu me fais trop rigoler! Bravi

Kniha

11.43 €

Faber - Castell Fixy Connector 60 ks

Hračka

18.73 €

Atlas des vikings 789-1100 Haywood

Brožovaná

37.87 €

AULA PLUS 4 LIBRO DEL ALUMNO

Kniha

33.31 €

Die Legende vom Hermunduren G. K. Grasse

Brožovaná

18.02 €

L'enfant AJT expliqué aux adultes Favereau

Brožovaná

18.32 €

piano di emergenza ed evacuazione. Manuale operativo Paolo Muneretto

Brožovaná

50.43 €

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

Pevná

9.71 €

Histoire de L'Astronomie Moderne M. Delambre

Brožovaná

9.51 €

Baila Como Una Hoja Claudia Navarro

Brožovaná

7.89 €

Duineser Elegien (Grossdruck) Rainer Maria Rilke

Brožovaná

5.46 €

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

Brožovaná

50.83 €

Ford Mustang Matt Cook

Brožovaná

10.32 €

Und heilt alle deine Gebrechen Jörg Müller

Brožovaná

10.22 €

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

Brožovaná

14.47 €

Prozesse Rainer Schützeichel

Brožovaná

61.37 €

Die Erfindung des Weihnachtsbaums Bernd Brunner

Pevná

12.24 €

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

Pevná

190.30 €

Lambacher Schweizer Mathematik 5. Ausgabe Hessen

Pevná

37.77 €

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

Pevná

6.27 €

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.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov High-Integrity Software

Autor C.T. Sennett

Jazyk

Angličtina

Väzba Kniha - Pevná

Dátum vydania 1990

Počet strán 360

EAN 9780306435522

Libristo kód 01377502

Nakladateľstvo Springer, Berlin

Váha 1000

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Operačné systémy

Výpočtové a informačné technológie > Informatika

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Arithmetic Groups J. E. Humphreys

Brožovaná

26.02 €

Women in Ancient America: Second Edition Karen Olsen Bruhns

Brožovaná

28.75 €

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

Brožovaná

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

Brožovaná

11.84 €

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

Brožovaná

23.59 €

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

Brožovaná

8.60 €

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

Brožovaná

34.63 €