|
Proceedings of VERkshop : a Formal Verification Workshop
New York, NY : Assoc. for Computing Machinery 1985 -
Titel
Proceedings of VERkshop : a Formal Verification Workshop
Erschienen
New York, NY : Assoc. for Computing Machinery
|
Diesen Titel auf die Merkliste setzen
|
|
Contributions from VERkshop
New York, NY : Assoc. for Computing Machinery 1981
Titel
Contributions from VERkshop
Erschienen
New York, NY : Assoc. for Computing Machinery
|
Diesen Titel auf die Merkliste setzen
|
|
Abstracts / Workshop on Formal Verification
New York, NY : Assoc. for Computing Machinery 1980
Titel
Abstracts / Workshop on Formal Verification
Erschienen
New York, NY : Assoc. for Computing Machinery
Weitere Titelhinweise
Einzelne Bd. zugl. Bd. von 1=5,3 von "Software engineering notes"
|
Diesen Titel auf die Merkliste setzen
|