An Introduction to Practical Formal Methods Using Temporal Logic

Name: An Introduction to Practical Formal Methods Using Temporal Logic
Brand: wiley
SKU: 9781119991465
Rating: 4.5 (11 reviews)
ISBN: 9781119991465

An Introduction to Practical Formal Methods Using Temporal Logic image

ISBN-10:

1119991463

ISBN-13:

9781119991465

Author(s): Michael Fisher

Released: Mar 16, 2011

Publisher: wiley

Format: Kindle Edition, 368 pages

to view more data

Sell this Book

Buy this Book

Find in Library

Description:

Book details unavailable.

‌

We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.