An introduction to practical formal methods using temporal logic
An introduction to practical formal methods using temporal logic is a book.
All
Business
Culture
Environment
Health
Politics
Research
Key facts
- Author: Michael Fisher
- Isbn: 0470027886
- Bnb id: GBA822392
- Language: eng
- Publication date: 2011
- book publisher: Wiley
- Book subject: Logic, Symbolic and mathematical
Latest news
Sorry there is no related news yet.
Visualizations
Datasets
rows
Book series where Book equals An introduction to practical formal methods using temporal logic
rows
Book subjects where Book equals An introduction to practical formal methods using temporal logic
rows
Books by Michael Fisher
rows
Books where book publisher is Wiley
rows
Books called An introduction to practical formal methods using temporal logic
Source
This dashboard is based on data from: The British Library
Updated: 95 days ago
License
This content can be used under the CC BY 4.0 license