search for books and compare prices
computer software validation congresses matches 5 work(s)
displaying 1 to 5 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement...read more
Paperback:
9783642009440 | Springer-Verlag New York Inc, April 1, 2009, cover price $99.00 | About this edition: This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008.
Paperback:
9783540786627 | Springer-Verlag New York Inc, May 4, 2008, cover price $119.00
Paperback:
9783540300076 | Revised edition (Springer-Verlag New York Inc, February 15, 2006), cover price $109.00
Hardcover:
9780818637407 | IEEE Computer Society, June 1, 1993, cover price $50.00
Product Description: The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States...read more
Paperback:
9780387196350 | Springer Verlag, March 1, 1991, cover price $49.00 | About this edition: The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States.
displaying 1 to 5 |
at end