Formal Techniques for Networked and Distributed Systems – FORTE 2004

FORTE 2004
Bok · Engelsk

Annen tittel	Formal Techniques for Networked and Distributed Systems - FORTE 2004
Utgitt	Springer Berlin / Heidelberg
Emner	Computer network protocols Electronic data processing - Distributed processing Formal methods (Computer science)