by Michael Fisher
Printed Access Code
ISBN: 978-1-119-99147-2
ISBN-10: 1-119-99147-1
John Wiley & Sons · 2011
|
|
by Michael FisherPrinted Access Code ISBN: 978-1-119-99147-2 ISBN-10: 1-119-99147-1 John Wiley & Sons · 2011 |
| See also: | ||
| 2011 | Hardcover | An Introduction to Practical Formal Methods Using Temporal Logic |