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
43-57 zile
-20%