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

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods Applied to Industrial Complex Systems

Name: Formal Methods Applied to Industrial Complex Systems
Brand: ISTE Ltd and John Wiley & Sons Inc
SKU: 05103844
Price: 203.63 EUR
Availability: InStock
Author: Jean-Louis Boulanger
ISBN: 9781848217096

Jean-Louis Boulanger

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05103844

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: 05103844

493 b

203.63 €

Externes Lager Wir versenden in 14-20 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Aller Anfang ist leicht Susanne Holmes

Noten

14.84 €

Eduquer Et Prier Marion Isvi

Broschur

54.23 €

Hazel Brugger passiert, 1 Audio-CD Hazel Brugger

Audio CD

26.15 €

Cesar-Pierre Richelet (1626 - 1698) Laurent Bray

Hardcover

109.08 €

Voprosy po kursu "Filosofiya" Gertruda Cukova

Broschur

24.13 €

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 Industrial Complex Systems

Autor Jean-Louis Boulanger

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2014

Anzahl der Seiten 496

EAN 9781848217096

ISBN 1848217099

Libristo-Code 05103844

Verlag ISTE Ltd and John Wiley & Sons Inc

Gewicht 884

Abmessungen 161 x 241 x 32

Kategorie

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

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