Tagungsband PROC-2000-03

Bibliograph.
Daten
Keller, Hubert B. (Hrsg); Plödereder, Erhard (Hrsg): Proceedings of Reliable Software Technologies - Ada Europe 2000.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik.
Lecture Notes in Computer Science; 1845, 304 Seiten, englisch.
Springer, Juni 2000.
ISBN: 3-540-67669-4.
Tagungsband.
CR-Klassif.D.2.4 (Software Engineering Software/Program Verification)
Kurzfassung

Tagungsband

Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
Eingabedatum7. Juli 2010
   Publ. Institut   Publ. Informatik