Integrated formal methods: third international conference, IFM 2002, Turku, Finland, May 15 - 18, 2002 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002
Schriftenreihe:Lecture notes in computer science 2335
Schlagworte:
Beschreibung:X, 399 S.
ISBN:3540437037

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!