Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings

Hartmut König, Monika Heiner, Adam Wolisz (eds.)
Bok · Engelsk · 2003 FORTE 2003

Utgitt	Berlin : Springer , c2003
Omfang	XII, 429 s. : ill.
Emner	Computer network protocols Electronic data processing - Distributed processing Formal methods (Computer science) Datamaskinnett - Protokoller Vis mer... Distribuert databehandling Distribuerte systemer Formelle metoder Kommunikasjonsprotokoller Distribuerte systemer((NO-TrBIB)REAL003034) Formelle metoder((NO-TrBIB)REAL002404) Kommunikasjonsprotokoller((NO-TrBIB)REAL012226)
ISBN	3540201750