Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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

Jean-Louis Boulanger

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 05103778

Nakladatelství ISTE Ltd and John Wiley & Sons Inc, červenec 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

4 635 Kč

Skladem u dodavatele v malém množství Odesíláme za 11-15 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

The Fable T13 Kniha

Brožovaná

304 Kč

Cure palliative come nuova prospettiva per il fine vita Eloisa Macr

Brožovaná

934 Kč

Cichy Memoriał

Mapa

81 Kč

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

Brožovaná

744 Kč

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

Brožovaná

325 Kč

Des friches urbaines aux quartiers durables Lufkin

Brožovaná

470 Kč

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

Brožovaná

385 Kč

Gustave Courbet : non au conformisme Poblete

Brožovaná

328 Kč

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

Brožovaná

511 Kč

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

Pevná

903 Kč

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

Brožovaná

369 Kč

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

Puzzle

162 Kč

Texas Western Collection, 2 DVD Peter Levin

DVD

442 Kč

Esto no es una escuela Maria Juliana Gainza

Brožovaná

592 Kč

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

DVD

344 Kč

Ich schweige für dich Harlan Coben

Brožovaná

208 Kč

Harry Stottelmeiers Entdeckung Matthew Lipman

Brožovaná

662 Kč

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

Brožovaná

967 Kč

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

Brožovaná

301 Kč

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