![]() |
by Michael FisherHardcover details (USA). details (United Kingdom). details (Germany). details (France).
ISBN: 978-0-470-02788-2 ISBN-10: 0-470-02788-6 Wiley · 2011 |
See also: | ||
2011 | Printed Access Code | An Introduction to Practical Formal Methods Using Temporal Logic |