There's still time! Find the perfect Father's Day gift with store pickup | Shop NowThere's still time! Find the perfect Father's Day gift with store pickup | Shop Now
Add Item to wish listAdd Item to 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

By Doron A. Peled (Editor), Moshe Y. Vardi (Editor)
Paperback
$54.99
By Doron A. Peled (Editor), Moshe Y. Vardi (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
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. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of specification, testing, and verification of distributed systems and communication prools. The main topics are: – FDT—based system and prool engineer...

Categories

ComputersNetworking & TelecommunicationsComputers - General & MiscellaneousProtocols & Standards - Computer NetworksParallel, Distributed, and SupercomputingGeneral & Miscellaneous Computing