FM 2009: Formal methods: second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: FM Eindhoven (VerfasserIn)
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2009
Schriftenreihe:Lecture notes in computer science 5850
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Beschreibung:Literaturangaben
Beschreibung:XVII, 820 S. graph. Darst. 24 cm
ISBN:9783642050886

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis