Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings - Lecture Notes in Computer Science - Dieter W Langbein - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540001416 - October 28, 2002
In case cover and title do not match, the title is correct

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings - Lecture Notes in Computer Science

Dieter W Langbein

Price
Íkr 6,819
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 16 - 24
Add to your iMusic wish list

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings - Lecture Notes in Computer Science

The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11-14. - Protocol testing, including conformance testing, interoperability testing, and performance testing.


374 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 28, 2002
ISBN13 9783540001416
Publishers Springer-Verlag Berlin and Heidelberg Gm
Genre Geographic Orientation > Texas - Cultural Region > Mid-south - Cultural Region > South
Pages 374
Dimensions 155 × 235 × 20 mm   ·   566 g
Language German  
Editor Peled, Doron A.
Editor Vardi, Moshe Y.