An Introduction To Practical Formal Methods Using Temporal Logic
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | March 16, 2011 |
| Authors | Michael Fisher |
| Genres | Thesis |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1718048 |
About An Introduction To Practical Formal Methods Using Temporal Logic
An Introduction to Practical Formal Methods Using Temporal Logic Michael Fisher Department of Computer Science, University of Liverpool, UK ISBN: 9780470027882 The name "temporal logic" may sound . . .
