Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada - Workshops in Computing - Dan Craigen - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540196358 - November 19, 1990
In case cover and title do not match, the title is correct

Dan Craigen
Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada - Workshops in Computing Edition. Ed. edition

Price
$ 55.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 6 - 10

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

258 pages, 1 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 19, 1990
ISBN13 9783540196358
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 248
Dimensions 170 × 244 × 14 mm   ·   417 g
Language German  
Editor Craigen, Dan

Mere med samme udgiver

See all of Dan Craigen ( e.g. Paperback Book and Hardcover Book )