Tools and algorithms for the construction and analysis of systems 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings W. Rance Cleaveland, ed.
Materialtyp: TextSprache: Englisch Reihen: ; 157900 | Lecture notes in computer science ; 1579Verlag: Berlin Heidelberg [u.a.] Springer 1999Beschreibung: XI, 443 S. Ill., graph. Darst. 24 cmInhaltstyp:- Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540657037
- 004.21
- 004.2/1
- QA76.9.S88
- 28
- SS 4800
- 54.50
Inhalte:
Bearbeitungsvermerk: - 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 1579 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000146164 |
Literaturangaben
Literaturangaben
Cleaveland, W. Rance: Tools and Algorithms for the Construction and Analysis of Systems
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31