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ț: 319.89 lei 399.86 lei
6-8 săpt.
-20%