Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 internationa - detaljert visning

Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

FORTE 2004
Bok Engelsk 2004


Utgitt	Berlin : Springer , c2004
Omfang	X, 375 s. : ill.
Emner	Datamaskinnett - Protokoller Distribuert databehandling Distribuerte systemer Formelle metoder Kommunikasjonsprotokoller
ISBN	3540232524