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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Formal Methods Applied to Complex Systems - Implementation of the B Method

Name: Formal Methods Applied to Complex Systems - Implementation of the B Method
Brand: ISTE Ltd and John Wiley & Sons Inc
SKU: 05103778
Price: 211.14 EUR
Availability: InStock
Author: Jean-Louis Boulanger
ISBN: 9781848216327

Jean-Louis Boulanger

Език

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

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

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

Издателство ISTE Ltd and John Wiley & Sons Inc, юли 2014

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C... Цялото описание

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

512 b

211.14 €

412.96 лв

Външен склад в ограничено количество Изпращаме след 11-15 дни

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

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

The Fable T13 Книга

С меки корици

13.06 € 25.54 лв

Cure palliative come nuova prospettiva per il fine vita Eloisa Macr

С меки корици

43.31 € 84.70 лв

Cichy Memoriał

Карта

3.51 € 6.86 лв

La poesía hispanoamericana del siglo XX a través de los textos Rodríguez Antón

С меки корици

32.05 € 62.69 лв

Les apprenties déesses T8 - Méduse la vipère Holub

С меки корици

14.04 € 27.45 лв

Des friches urbaines aux quartiers durables Lufkin

С меки корици

20.23 € 39.57 лв

rite et la raison, Wittgenstein anthropologue (Le) - Préface de Vincent Descombes de

С меки корици

17.86 € 34.93 лв

Gustave Courbet : non au conformisme Poblete

С меки корици

14.09 € 27.56 лв

Henri De Mondeville: Chirurgien De Philippe-Le-Bel, Roi De France (1862) Achille Chereau

С меки корици

22.14 € 43.31 лв

Beitrage Zur Kenntniss Der Melanesischen, Mikronesischen Und Papuanischen Sprachen (1882) Georg Von Der Gabelentz

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

39.13 € 76.53 лв

Übersicht über Versorgungsangebote für Kinder von psychisch kranken Eltern Meryem Ünver

С меки корици

17.08 € 33.41 лв

Puzzle MIDI - Práce na dvorku/16 dílků (2 druhy)

Пъзел

7.02 € 13.72 лв

Texas Western Collection, 2 DVD Peter Levin

DVD

19.20 € 37.55 лв

Esto no es una escuela Maria Juliana Gainza

С меки корици

27.46 € 53.71 лв

Home - Die Geschichte einer Reise, 1 DVD Yann Arthus-Bertrand

DVD

14.81 € 28.97 лв

Ich schweige für dich Harlan Coben

С меки корици

9.65 € 18.87 лв

Harry Stottelmeiers Entdeckung Matthew Lipman

С меки корици

28.65 € 56.03 лв

Os cogumelos nos ecosistemas forestais galegos FRANCISCO J. FERNANDEZ DE ANA-MAGAN

С меки корици

41.86 € 81.88 лв

Orar con las horas, los días y las estaciones Christiane Gaud-Descouleurs

С меки корици

12.95 € 25.33 лв

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these "formal methods" (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).