Bemærk: Kan ikke leveres før jul.
Forventes på lager: 28-03-2011
Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.
| Forlag | Springer London Ltd |
| Forfattere | V.S. Alagar, K. Periyasamy |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | Second Edition 2011 |
| Udgivelsesdato | 28-03-2011 |
| Første udgivelsesår | 2011 |
| Serie | Texts in Computer Science |
| Illustrationer | XXVI, 646 p. |
| Originalsprog | United Kingdom |
| Sideantal | 646 |
| Indbinding | Hardback |
| Forlag | Springer London Ltd |
| Sideoplysninger | 646 pages, XXVI, 646 p. |
| Mål | 240 x 159 x 44 |
| ISBN-13 / EAN-13 | 9780857292766 |