Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció

Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén

DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

High-Integrity Software

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

C.T. Sennett

Nyelv

Angol

Könyv Kemény kötésű

Libristo kód: 01377502

Kiadó Springer, Berlin, március 1990

4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6... Teljes leírás

Libristo kód: 01377502

220 b

32 312 Ft

50 % esély Keressük az egész világon Mikor kapom meg a terméket?

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

Classroom of the Elite Light Novel 04 Syougo Kinugasa

Könyv

4 988 Ft

Gabi, tu me fais trop rigoler! Bravi

Könyv

4 049 Ft

Faber - Castell Fixy Connector 60 ks

Játék

7 778 Ft

Atlas des vikings 789-1100 Haywood

Puha kötésű

13 428 Ft

AULA PLUS 4 LIBRO DEL ALUMNO

Könyv

11 827 Ft

Die Legende vom Hermunduren G. K. Grasse

Puha kötésű

6 983 Ft

L'enfant AJT expliqué aux adultes Favereau

Puha kötésű

6 515 Ft

piano di emergenza ed evacuazione. Manuale operativo Paolo Muneretto

Puha kötésű

17 903 Ft

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

Kemény kötésű

3 582 Ft

Histoire de L'Astronomie Moderne M. Delambre

Puha kötésű

3 373 Ft

Baila Como Una Hoja Claudia Navarro

Puha kötésű

3 285 Ft

Duineser Elegien (Grossdruck) Rainer Maria Rilke

Puha kötésű

2 115 Ft

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

Puha kötésű

20 545 Ft

Ford Mustang Matt Cook

Puha kötésű

4 021 Ft

Und heilt alle deine Gebrechen Jörg Müller

Puha kötésű

3 637 Ft

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

Puha kötésű

5 604 Ft

Prozesse Rainer Schützeichel

Puha kötésű

23 696 Ft

Die Erfindung des Weihnachtsbaums Bernd Brunner

Kemény kötésű

4 752 Ft

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

Kemény kötésű

67 484 Ft

Lambacher Schweizer Mathematik 5. Ausgabe Hessen

Kemény kötésű

14 456 Ft

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

Kemény kötésű

2 554 Ft

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.

Színésznő & Poliglott

EWA KASP részére

A videó lejátszása

A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés High-Integrity Software

Szerző C.T. Sennett

Nyelv

Angol

Kötés Könyv - Kemény kötésű

Kiadás éve 1990

Oldalszám 360

EAN 9780306435522

Libristo kód 01377502

Kiadó Springer, Berlin

Súly 1000

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány

Számítástechnika és információtechnológia > Operációs rendszerek

Számítástechnika és információtechnológia > Számítógéptudomány

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Arithmetic Groups J. E. Humphreys

Puha kötésű

10 009 Ft

Women in Ancient America: Second Edition Karen Olsen Bruhns

Puha kötésű

11 300 Ft

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

Puha kötésű

36 246 Ft

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

Puha kötésű

4 947 Ft

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

Puha kötésű

9 833 Ft

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

Puha kötésű

3 549 Ft

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

Puha kötésű

13 910 Ft