Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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: 191.3 EUR
Availability: InStock
Author: Jean-Louis Boulanger
ISBN: 9781848216327

Jean-Louis Boulanger

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 05103778

Nakladateľstvo ISTE Ltd and John Wiley & Sons Inc, júl 2014

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C... Celý popis

Libristo kód: 05103778

464 b

191.30 €

Skladom u dodávateľa v malom množstve Odosielame za 11-15 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Cichy Memoriał

Mapa

3.32 €

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

Brožovaná

30.70 €

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

Brožovaná

13.42 €

The Fable T13 Kniha

Brožovaná

12.52 €

Des friches urbaines aux quartiers durables Lufkin

Brožovaná

19.38 €

Ich schweige für dich Harlan Coben

Brožovaná

9.08 €

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

Brožovaná

16.86 €

Gustave Courbet : non au conformisme Poblete

Brožovaná

13.63 €

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

Brožovaná

21.10 €

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

Pevná

37.26 €

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

Brožovaná

16.15 €

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

Puzzle

6.66 €

Texas Western Collection, 2 DVD Peter Levin

DVD

18.27 €

Esto no es una escuela Maria Juliana Gainza

Brožovaná

25.95 €

Largo Winch 7, La fortaleza de Makiling Philippe Francq

Brožovaná

14.03 €

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

Brožovaná

39.99 €

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

Brožovaná

12.41 €

Kreuzstich Karin Eder

Brožovaná

13.12 €

Harry Stottelmeiers Entdeckung Matthew Lipman

Brožovaná

27.26 €

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

DVD

14.23 €

Cure palliative come nuova prospettiva per il fine vita Eloisa Macr

Brožovaná

40.90 €

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.).