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 | |
ISBN | 3540001417
|