Formal methods for industrial critical systems: 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2010
Schriftenreihe:Lecture notes in computer science 6371
Schlagworte:
Online-Zugang:Volltext
Beschreibung:Literaturangaben
Beschreibung:1 Online-Ressource (XII, 230 S.) Ill., graph. Darst.
ISBN:9783642158971
9783642158988
DOI:10.1007/978-3-642-15898-8

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen