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