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
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 24 - Aug 3
Get notified about new Dan Craigen releases

Our customers say:

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

Not rated yet

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

More from the same publisher

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