Verification of systems of processes and monitors : two examples


Stein Gjessing
Bok Engelsk 1987
Utgitt
Oslo , 1987
Omfang
19 bl.
Dewey
ISBN
8273680126

Bibliotek som har denne