Integrated formal methods: 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2009
Schriftenreihe:Lecture notes in computer science 5423
Schlagworte:
Online-Zugang:Volltext
Beschreibung:Literaturangaben
Beschreibung:1 Online-Ressource (X, 366 S.) graph. Darst.
ISBN:9783642002540
9783642002557
DOI:10.1007/978-3-642-00255-7

Es ist kein Print-Exemplar vorhanden.

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