Bibliothek Systemsoftware
Benutzer
Paßwort
SSW-Bibliothek / Publikations-Detailinformation
Proceedings of the 5th Nordic Workshop on Program Correctness
Reports of Computer Science, Åbo Akademi University, Turku, May 1994
ISBN:
Ausgabe:
0
Ausgabejahr:
0
Autor(en):
Verlag:
-
Publikationstyp:
Buch
Publikationskategorie:
0.2 0.2 Tagungsbände
SSW-Nummer:
0092
Bibliothek:
SSW-Bibliothek
Standort:
Chefzimmer
Stichwörter:
Kurzbeschreibung:
