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
cover image for 9783642009440
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.

cover image for 9783540300076
By Rocco De Nicola, Davide Sangiorgi and Tgc 200 (other contributor)

Paperback:

9783540300076 | Revised edition (Springer-Verlag New York Inc, February 15, 2006), cover price $109.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