Top 212 greg forte PDF Book Page 8

book image

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

Chun Ouyang, Jonathan Billington (auth.), Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (eds.)
·391 Pages
·2004
·3.388 MB

book image

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

Daniel Krob (auth.), Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge (eds.)
·496 Pages
·2006
·6.41 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.