An introduction to practical formal methods using temporal logic
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
Updated: 83 days ago