Normale Ansicht MARC ISBD

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.

Mitwirkende(r):

Materialtyp: Text

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

Medientyp:

ohne Hilfsmittel zu benutzen

Datenträgertyp:

Band

ISBN:

3540657037

Schlagwörter:

Genre/Form:

Konferenzschrift -- 1999 -- Amsterdam

Andere physische Formen: Kein Titel; Online-Ausg.: Tools and Algorithms for the Construction and Analysis of SystemsDDC-Klassifikation:

004.21
004.2/1

LOC-Klassifikation:

QA76.9.S88

Andere Klassifikation:

28
SS 4800
54.50

Online-Ressourcen:

Inhalte:

Bearbeitungsvermerk:

Archivierung/Langzeitarchivierung gewährleistet PEBW

Andere Ausgaben: Online-Ausg.: / Cleaveland, W. Rance: Tools and Algorithms for the Construction and Analysis of Systems

Exemplare ( 1 )
Titelinformationen ( 4 )

Exemplare
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

Cleaveland, W. Rance: Tools and Algorithms for the Construction and Analysis of Systems

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31