An introduction to practical formal methods using temporal logic
- Författare
- Michael Fisher
- (Michael Fisher.)
- Genre
- Electronic books., Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Wiley | 2011 | England, Chichester, West Sussex, U.K, Hoboken, N.J | 1 online resource (vii, 353 sidor.) ill. | 978-1-119-99147-2 |