ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Grigore Rosu 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
Algebraic Methodology and Software Technology: 12th International Conference, Amast 2008 Urbana, Il, USA, July 28-31, 2008 Proceedings
cover image for 9783540799795
Product Description: This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions...read more
By Grigore Rosu (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783540799795 | Springer-Verlag New York Inc, August 1, 2008, cover price $89.95 | About this edition: This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.

2
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.

displaying 1 to 2 | at end