2. Adventsüberraschung: 10% Rabatt auf alle Spiele! Jetzt mehr erfahren.
Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods for Industrial Critical Systems

  • Kartonierter Einband
  • 259 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS ... Weiterlesen
CHF 86.00
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Up-to-date results

Fast-track conference proceedings

State-of-the-art research

Produktinformationen

Titel: Formal Methods for Industrial Critical Systems
Untertitel: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
Editor:
EAN: 9783642244308
ISBN: 3642244300
Format: Kartonierter Einband
Herausgeber: Springer-Verlag GmbH
Genre: Informatik
Veröffentlichung: 01.11.2011
Anzahl Seiten: 259
Gewicht: 419g
Größe: H236mm x B161mm x T20mm
Jahr: 2011
Untertitel: Englisch
Auflage: Edition

Weitere Produkte aus der Reihe "Programming and Software Engineering"