Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Correct System Design

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

Ernst-Rüdiger Olderog

Език

Английски език

Книга С меки корици

Код Либристо: 04333716

Издателство Springer, Berlin, ноември 1998

Computers are gaining more and more control over systems that we use or rely on in our daily lives,... Цялото описание

Код Либристо: 04333716

132 b

54.47 €

106.54 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

Ноти

9.94 € 19.44 лв

Settler Responsibility for Decolonisation Christine Woods

С твърди корици

209.36 € 409.48 лв

Agrapha

С меки корици

25.63 € 50.13 лв

Gluck - Werte - Sinn Matthias Hoesch

С твърди корици

198.70 € 388.62 лв

Le diable dans la peau Howarth

С меки корици

13.72 € 26.83 лв

Christentum - Islam Frithjof Schuon

С меки корици

27.49 € 53.77 лв

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

binding.

7.24 € 14.17 лв

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

С меки корици

63.17 € 123.56 лв

Japanese Homes and Their Surroundings Edward S. Morse

С меки корици

25.16 € 49.21 лв

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

С меки корици

13.56 € 26.53 лв

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.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Correct System Design

Автор Ernst-Rüdiger Olderog

Език

Английски език

Корици Книга - С меки корици

Дата на издаване 1999

Брой страници 422

Баркод 9783540666240

ISBN 3540666249

Код Либристо 04333716

Издателство Springer, Berlin

Тегло 590

Размери 155 x 235 x 24

Може би ще Ви заинтересува

Organic Chemistry of Nucleic Acids N. Kochetkov

С меки корици

54.47 € 106.54 лв

Economic and industrial delusions Arthur B. Farquhar

С меки корици

29.36 € 57.42 лв

Tattoo Flash Colouring Book Megamunden

С меки корици

25.16 € 49.21 лв

Rational Theology and Christian Philosophy in England in the Seventeenth Century Part Two John Tulloch

С меки корици

41.11 € 80.41 лв

Kolbrin Bible Janice Manning

С твърди корици

64.99 € 127.10 лв

Into the Mosaic Marlene St Rose

С меки корици

16.57 € 32.40 лв

Food Poisoning and Food Infections William George Savage

С твърди корици

33.60 € 65.72 лв

Family Shakspeare, in Ten Volumes William Shakespeare

С твърди корици

36.40 € 71.19 лв

A Trading Nation: Canadian Trade Policy from Colonialism to Globalization Michael Hart

С твърди корици

122.26 € 239.12 лв

Engineering Mechanics: Dynamics, SI Units Russell Hibbeler

С меки корици

90.10 € 176.22 лв

Straightforward 2nd Edition Intermediate + eBook Teacher's Pack EBOOK TB PK

С меки корици

39.14 € 76.56 лв

Irish Pride. an Unsocial Tale of Social Life. E Noble

С меки корици

28.89 € 56.51 лв

All Together Now Suzanne K. Boss

С меки корици

34.23 € 66.94 лв

An Eternal Christmas!: The Birth of Love on Earth! Mack Ethridge

С меки корици

10.35 € 20.25 лв

Church at Work in College and University Paul Micou

С меки корици

23.92 € 46.78 лв

People Buy From People: 10 Powerful People Lessons from the Ultimate People Person--My Dad Dale Dupree

С меки корици

12.16 € 23.79 лв

Al Islaam (Islam) Hassan Shabazz

С меки корици

20.29 € 39.69 лв

Unto the Right Honourable the Lords of Council and Session, the Petition of Robert and William Strangs, James Dykes, Robert Gilmour, Robert Lindsay, R Robert Strang

С меки корици

11.96 € 23.39 лв