Specification and Proof in Real Time CSP
Autor:
Jim Davies
Dostupnost:
Skladem u dodavatele
Odesíláme za 14-21 dnů
3 296
Kč
The research contained in this 1993 book represents work on the specification and verification of re...
