Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998; proceedings

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: Buch; Konferenzbericht
Titel: Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998; proceedings
Beteiligte: Steffen, Bernhard [Hrsg.]
Veranstaltung: ETAPS
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1998
Erschienen in: Lecture notes in computer science ; 1384
Umfang: XIII, 455 S.; graph. Darst
Sprache: Englisch
ISBN: 3540643567
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Softwareentwicklung
Softwareentwicklung
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science