Formal Methods in Computer Science
(Bog, Hardback, Engelsk)
Forlag:
Taylor & Francis Ltd
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9780367225704
- Se flere detaljer ▼
Formater og udgaver
Beskrivelse
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Taylor & Francis Ltd |
| Forfattere | Jiacun (Monmouth University Wang, William (Monmouth University Tepfenhart |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 25-06-2019 |
| Første udgivelsesår | 2019 |
| Serie | Textbooks in Mathematics |
| Illustrationer | 29 Tables, black and white; 154 Illustrations, black and white |
| Originalsprog | United Kingdom |
| Sideantal | 294 |
| Indbinding | Hardback |
| Forlag | Taylor & Francis Ltd |
| Sideoplysninger | 294 pages, 29 Tables, black and white; 154 Illustrations, black and white |
| Mål | 234 x 156 |
| ISBN-13 / EAN-13 | 9780367225704 |