FME 2003 - formal methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: FME Pisa (VerfasserIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin u.a. Springer 2003
Schriftenreihe:Lecture notes in computer science 2805
Schlagworte:
Online-Zugang:DE-91
DE-384
DE-19
DE-739
Volltext
Beschreibung:1 Online-Ressource (XVII, 942 S.)
ISBN:3540408282
DOI:10.1007/b13229

Es ist kein Print-Exemplar vorhanden.

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