ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
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
1
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)
Edition summary (click for prices and details):

Paperback:

9783540496991 | Springer-Verlag New York Inc, February 3, 2007, cover price $69.95 | 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.

2
Applying Formal Methods, Testing, Performance, And M/E-Commerce: Forte 2004 Workshops The FormEMC, EPEW, ITM Toledo, Spain, October 1-2, 2004 Proceedings
cover image for 9783540231691
Product Description: This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, TheFormEMC, the first European Performance Engineering Workshop, EPEW, and the First International Workshop on Integration of Testing Methodologies, ITM, held jointly in association with FORTE 2004 in Toledo, Spain, in October 2004...read more
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)
Edition summary (click for prices and details):

Paperback:

9783540231691 | Springer-Verlag New York Inc, November 15, 2004, cover price $72.00 | About this edition: This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, TheFormEMC, the first European Performance Engineering Workshop, EPEW, and the First International Workshop on Integration of Testing Methodologies, ITM, held jointly in association with FORTE 2004 in Toledo, Spain, in October 2004.

displaying 1 to 2 | at end