FME '97: Industrial applications and strengthened foundations of formal methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: FME Graz (VerfasserIn)
Weitere Verfasser: Fitzgerald, John 1965- (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 1997
Schriftenreihe:Lecture notes in computer science 1313
Schlagworte:
Online-Zugang:DE-91
DE-384
DE-19
DE-739
Volltext
Beschreibung:1 Online-Ressource (XIII, 684 S. graph. Darst.)
ISBN:3540635335
DOI:10.1007/3-540-63533-5

Es ist kein Print-Exemplar vorhanden.

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