Formal systems specification : the RPC-memory specification case study


Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Bok Engelsk 1996

Detaljer

Bibliotek som har denne