Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Jean-Louis Boulanger

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05103778

Verlag ISTE Ltd and John Wiley & Sons Inc, Juli 2014

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C... Vollständige Beschreibung

Libristo-Code: 05103778

488 b

199.29 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Cichy Memoriał

Karte

3.59 €

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

Broschur

31.69 €

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

Broschur

13.89 €

The Fable T13 Buch

Broschur

12.99 €

Des friches urbaines aux quartiers durables Lufkin

Broschur

19.99 €

Ich schweige für dich Harlan Coben

Broschur

9.99 €

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

Broschur

17.69 €

Gustave Courbet : non au conformisme Poblete

Broschur

13.99 €

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

Broschur

22.99 €

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

Hardcover

40.69 €

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

Broschur

17.95 €

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

Puzzle

7.29 €

Texas Western Collection, 2 DVD Peter Levin

DVD

18.99 €

Esto no es una escuela Maria Juliana Gainza

Broschur

27.19 €

Largo Winch 7, La fortaleza de Makiling Philippe Francq

Broschur

14.59 €

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

Broschur

41.49 €

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

Broschur

12.79 €

Kreuzstich Karin Eder

Broschur

15.00 €

Harry Stottelmeiers Entdeckung Matthew Lipman

Broschur

28.39 €

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

DVD

14.69 €

Cure palliative come nuova prospettiva per il fine vita Eloisa Macr

Broschur

42.89 €

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

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods Applied to Complex Systems - Implementation of the B Method

Autor Jean-Louis Boulanger

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2014

Anzahl der Seiten 480

EAN 9781848216327

ISBN 1848216327

Libristo-Code 05103778

Verlag ISTE Ltd and John Wiley & Sons Inc

Gewicht 848

Abmessungen 241 x 165 x 30

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Mathematik für Ingenieure

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert