Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Autor Dan Craigen et al.
11 feb 1995
Hardback
Preț: 479.50 lei 599.38 lei
6-8 săpt.
-20%
Cărți de 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
Karen Summerskill et al.
19 noi 1990
Paperback
Preț: 322.92 lei 403.65 lei
6-8 săpt.
-20%