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

Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

By Manuel Núnez (Editor), Zakaaria Maamar (Editor), Fernando Pelayo (Editor), Key Pousttchi (Editor), Fernando Rubio (Editor)
Paperback
$54.99
By Manuel Núnez (Editor), Zakaaria Maamar (Editor), Fernando Pelayo (Editor), Key Pousttchi (Editor), Fernando Rubio (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.
This volume contains the refereed proceedings of the ?rst edition of three wo- shops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). The workshops took place in Toledo (Spain) on the 1st and 2nd of October of 2004, and they dealt with d- ferent topics related to the application of formal methods. The names of the workshops were the following: - TheFormEMC: 1st International Workshop on Theory Building and Formal Methods in Elec...

Categories

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