Hardcover Book Paperback Book
Mostrar artículos no disponibles

Lanzamientos por Dan Craigen

Cover for Dan Craigen · Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems (Hardcover Book) (1995)

Industrial Applications of Forma... (1995)

Cover for 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 (Paperback Book) [Edition. Ed. edition] (1990)

Edition. Ed. edition

Formal Methods for Trustworthy C... (1990)