Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

Doron A. Peled, Moshe Y. Vardi (eds.)
Bok · Engelsk · 2002 FORTE 2002

Utgitt	Berlin : Springer , c2002
Omfang	XI, 368 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) formelle metoder
ISBN	3540001417