Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Deductive Program Design

Name: Deductive Program Design
Brand: Springer, Berlin
SKU: 01566102
Price: 216.59 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540609476

Manfred Broy

Език

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

Книга С твърди корици

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

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

This volume presents some of the most advanced research in the description of distributed systems an... Цялото описание

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

525 b

216.59 €

423.61 лв

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

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

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

Aclik Oyunlari 1 Suzanne Collins

С меки корици

21.18 € 41.42 лв

Da pacem - Frieden, gemischter Chor, Chorpartitur

Ноти

39.73 € 77.70 лв

Der Ursprung des Christentums Karl Kautsky

С меки корици

28.31 € 55.37 лв

Einfuhrung in die Verantwortung von Unternehmen Romina Bullan

С меки корици

18.08 € 35.36 лв

Das Kartengeheimnis Jostein Gaarder

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

19.73 € 38.59 лв

Action Des Sels Mineraux Sur La Forme Et La Structure Des Vegetaux DASSONVILLE-C

С меки корици

21.23 € 41.52 лв

17. und 18. Jahrhundert Peter Polenz

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

46.03 € 90.03 лв

2 Audio-CDs zum Kursbuch Erna Szakály

Аудио компактдиск

36.47 € 71.33 лв

Belleville Audrey Ndata

С меки корици

13.53 € 26.47 лв

This volume presents some of the most advanced research in the description of distributed systems and the design calculi of software and of hardware using functional, algebraic, logical, and programming calculi. The deductive treatment of distributed systems is presented in its complete spectrum from formal foundations and functional system specifications to assertion calculi for the verification of system programs. A highlight is the use of model checking techniques for proving properties about finite state automaton systems with extremely large state sets. It is also shown how the formalisms can be used to treat hardware systems, with emphasis on development steps leading from high-level abstractions to concrete representations. An important notion treated is that of refinement concepts in system development.