Industrial benefit of formal methods Barcelona, Spain, October 24 - 28, 1994; proceedings FME '94, Second International Symposium of Formal Methods Europe. Maurice Naftalin ... (eds.)
Materialtyp: TextSprache: Englisch Reihen: ; 87300 | Lecture notes in computer science ; 873Verlag: Berlin Heidelberg [u.a.] Springer 1994Beschreibung: XI, 723 S. graph. DarstInhaltstyp:- Text
- ohne Hilfsmittel zu benutzen
- Band
- 0387585559
- 3540585559
- QA76.76.D47
- 28
- SS 4800
- ST 230
- SS 1994
- *00B25
- 68-06
- 54.52
- Archivierung/Langzeitarchivierung gewährleistet PEBW
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
---|---|---|---|---|---|---|---|---|
Buch | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 873 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000007762 |
Literaturang
FME '94: industrial benefit of formal methods
Naftalin, Maurice: FME '94: Industrial Benefit of Formal Methods
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31