Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods for Industrial Critical Systems

  • E-Book (pdf)
  • 261 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 59.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
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.

Produktinformationen

Titel: Formal Methods for Industrial Critical Systems
Untertitel: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
Editor:
EAN: 9783642244315
ISBN: 978-3-642-24431-5
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Herausgeber: Springer-Verlag GmbH
Genre: IT & Internet
Veröffentlichung: 19.09.2011
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 4.37 MB
Anzahl Seiten: 261
Jahr: 2015

Weitere Bände aus der Buchreihe "Programming and Software Engineering"

Zuletzt angesehen
Verlauf löschen