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 |
Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Series (GF), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
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