Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.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.59 EUR
Availability: InStock
Author: Jean-Louis Boulanger
ISBN: 9781848216327

Jean-Louis Boulanger

Language

English

Book Hardback

Libristo code: 05103778

Publishers ISTE Ltd and John Wiley & Sons Inc, July 2014

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

Libristo code: 05103778

512 b

211.59 €

413.83 лв

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

The Fable T13 Book

Paperback

12.67 € 24.77 лв

Cure palliative come nuova prospettiva per il fine vita Eloisa Macr

Paperback

172.69 € 337.76 лв

Cichy Memoriał

Map

3.51 € 6.87 лв

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

Paperback

32.06 € 62.71 лв

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

Paperback

13.65 € 26.70 лв

Des friches urbaines aux quartiers durables Lufkin

Paperback

19.86 € 38.83 лв

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

Paperback

17.89 € 34.99 лв

Gustave Courbet : non au conformisme Poblete

Paperback

13.80 € 27.00 лв

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

Paperback

22.18 € 43.39 лв

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

Hardback

39.20 € 76.67 лв

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

Paperback

17.11 € 33.47 лв

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

Jigsaw puzzle

6.67 € 13.04 лв

Texas Western Collection, 2 DVD Peter Levin

DVD

23.06 € 45.11 лв

Harry Stottelmeiers Entdeckung Matthew Lipman

Paperback

28.44 € 55.63 лв

Esto no es una escuela Maria Juliana Gainza

Paperback

27.51 € 53.81 лв

Ich schweige für dich Harlan Coben

Paperback

11.53 € 22.55 лв

Largo Winch 7, La fortaleza de Makiling Philippe Francq

Paperback

14.68 € 28.72 лв

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

Paperback

41.94 € 82.03 лв

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

Paperback

12.92 € 25.28 лв

Kreuzstich Karin Eder

Paperback

13.86 € 27.10 лв

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