search for books and compare prices
Manuel Núnez has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops Fates 2006 and Rv 2006 Seattle, Wa, USA, August 15-16, 2006 Revised Selected Papers
cover image for 9783540496991
Product Description: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006...read more
By Klaus Havelund (editor), Manuel Núnez (editor), Grigore Rosu (editor) and Burkhart Wolff (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540496991 | Springer-Verlag New York Inc, February 3, 2007, cover price $99.00 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.

Applying Formal Methods, Testing, Performance, And M/E-Commerce: Forte 2004 Workshops The FormEMC, EPEW, ITM Toledo, Spain, October 1-2, 2004 Proceedings
By Zakaria Maamar (editor), Manuel Núnez (editor), Fernando L. Pelayo (editor), Key Pousttchi (editor) and Fernando Rubio (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540231691 | Springer-Verlag New York Inc, November 15, 2004, cover price $109.00

displaying 1 to 2 | at end