An Introduction to Practical Formal Methods Using Temporal Logic

Practical

by Michael Fisher

Hardcover

ISBN: 978-0-470-02788-2

ISBN-10: 0-470-02788-6

Wiley · 2011

See also:
2011Printed Access CodeAn Introduction to Practical Formal Methods Using Temporal Logic