Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

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

Jean-Louis Boulanger

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 05103778

Editoras ISTE Ltd and John Wiley & Sons Inc, julho 2014

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C... Descrição completa

Código Libristo: 05103778

464 b

191.03 €

Armazenamento externalo em pequenas quantidades Envio em 11-15 dias

Até 30 dias para devoluções

Os clientes também compraram

The Fable T13 Livro

Capa mole

10.88 €

Cure palliative come nuova prospettiva per il fine vita Eloisa Macr

Capa mole

40.84 €

Cichy Memoriał

Mapa

3.02 €

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

Capa mole

27.83 €

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

Capa mole

11.69 €

Des friches urbaines aux quartiers durables Lufkin

Capa mole

16.83 €

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

Capa mole

15.83 €

Gustave Courbet : non au conformisme Poblete

Capa mole

11.69 €

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

Capa mole

21.07 €

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

Livro de capa dura

37.21 €

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

Capa mole

16.13 €

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

Puzzle

5.94 €

Texas Western Collection, 2 DVD Peter Levin

DVD

17.24 €

Esto no es una escuela Maria Juliana Gainza

Capa mole

25.91 €

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

DVD

13.51 €

Ich schweige für dich Harlan Coben

Capa mole

9.07 €

Harry Stottelmeiers Entdeckung Matthew Lipman

Capa mole

25.91 €

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

Capa mole

33.88 €

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

Capa mole

10.78 €

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