FM 2006: Formal methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2006
Schriftenreihe:Lecture notes in computer science 4085
Schlagworte:
Online-Zugang:Inhaltstext
Beschreibung:XV, 620 S. graph. Darst.
ISBN:9783540372158
3540372156

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung