Dieses Bild ist zur Zeit nicht verfügbar.

Proceedings of the Verkshop III

A Formal Verification Workshop
Association for Computing Machinery (ACM) (Verlag)
Erschienen am 1. Dezember 1985
Buch
Softcover
144 Seiten
978-0-89791-171-9 (ISBN)
34,67 €inkl. 7% MwSt.
Artikel ist vergriffen; keine Neuauflage

Weitere Details