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 2001

By Myungchul Kim (Editor), Byoungmoon Chin (Editor), Sungwon Kang (Editor), Danhyung Lee (Editor)
Hardcover
$219.99
By Myungchul Kim (Editor), Byoungmoon Chin (Editor), Sungwon Kang (Editor), Danhyung Lee (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
See All Formats & Editions
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Prools) and PSTV (Prool Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques for Networked and Distributed Systems). The previous FORTE began in 1989 and the PSTV conference in 1981. Therefore the new FORTE conference actually has a long history of 21 years. The purpose of this...

Categories

ComputersNetworking & TelecommunicationsComputers - General & MiscellaneousProtocols & Standards - Computer NetworksGeneral & Miscellaneous Networking & TelecommunicationsParallel, Distributed, and SupercomputingGeneral & Miscellaneous Computing