7154859
9780387196350
Out of Stock
The item you're looking for is currently unavailable.
Craigen, D. is the author of 'Formal Methods for Trustworthy Computer Systems: Report from Fm89--A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 ... Halifax, Canada (Workshops in Computing)' with ISBN 9780387196350 and ISBN 0387196358.
[read more]