Formal Methods for Trustworthy Computer Systems: Report from Fm89--A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, ... Halifax, Canada (Workshops in Computing) - Softcover
Softcover
ISBN 10: 0387196358 ISBN 13: 9780387196350
Zu dieser ISBN ist aktuell kein Angebot verfügbar.