Formal Methods for Industrial Critical Systems: A Survey of Applications
(Bog, Paperback / softback, Engelsk)
Forlag:
John Wiley & Sons Inc
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9780470876183
- Se flere detaljer ▼
Beskrivelse
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | John Wiley & Sons Inc |
| Forfattere | Stefania Gnesi, Tiziana Margaria |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 12-03-2013 |
| Første udgivelsesår | 2013 |
| Illustrationer | Charts: 36 B&W, 0 Color; Tables: 12 B&W, 0 Color |
| Originalsprog | United States |
| Sideantal | 292 |
| Indbinding | Paperback / softback |
| Forlag | John Wiley & Sons Inc |
| Sideoplysninger | 292 pages, Charts: 36 B&W, 0 Color; Tables: 12 B&W, 0 Color |
| Mål | 234 x 155 x 17 |
| ISBN-13 / EAN-13 | 9780470876183 |