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