Specification and Proof in Real Time CSP
Автор:
Jim Davies
Наличност:
Външен склад
Изпращаме след 9-15 дни
142.77
€
279.23 лв
The research contained in this 1993 book represents work on the specification and verification of re...
