Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Autor Dan Craigen et al.
11 feb 1995
Hardback
Preț: 493.62 lei 617.02 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ț: 332.39 lei 415.49 lei
6-8 săpt.
-20%