Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Correct System Design

Name: Correct System Design
Brand: Springer, Berlin
SKU: 04333716
Price: 53.25 EUR
Availability: InStock
Author: Ernst-Rüdiger Olderog
ISBN: 9783540666240

Ernst-Rüdiger Olderog

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 04333716

Založba Springer, Berlin, november 1998

Computers are gaining more and more control over systems that we use or rely on in our daily lives,... Celoten opis

Koda Libristo: 04333716

129 b

53.25 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 11-15 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Gott soll allein mein Herze haben (Klavierauszug) Johann Sebastian Bach

Note

8.39 €

Agrapha

Mehka

22.77 €

Al anochecer Juan Utrilla

Mehka

19.94 €

Settler Responsibility for Decolonisation Christine Woods

Trda

199.98 €

Krew i popiół. Polscy żołnierze Napoleona Piotr Korczyński

Trda

13.56 €

Gluck - Werte - Sinn Matthias Hoesch

Trda

187.73 €

Le diable dans la peau Howarth

Mehka

11.94 €

Christentum - Islam Frithjof Schuon

Mehka

41.00 €

Bez pożegnania Saga część I Rybałtowska Barbara

binding.

6.07 €

Libros históricos Universidad de Navarra. Facultad de Teología

Mehka

54.77 €

Japanese Homes and Their Surroundings Edward S. Morse

Mehka

21.96 €

Abgrenzung der Freien Berufe vom Gewerbe Christina König

Mehka

23.58 €

Specialità italiane Italienische Köstlichkeiten. Italienische Köstlichkeiten Levis Roman

Mehka

10.32 €

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application.