Bemærk: Kan ikke leveres før jul.
Forventes på lager: 06-11-2009
Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.
| Forlag | ISTE Ltd and John Wiley & Sons Inc |
| Forfatter | C Jard |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 06-11-2009 |
| Første udgivelsesår | 2009 |
| Fagredaktør | Claude (ENS Cachan Jard, Olivier H. (Nantes University Roux |
| Originalsprog | United Kingdom |
| Sideantal | 288 |
| Indbinding | Hardback |
| Forlag | ISTE Ltd and John Wiley & Sons Inc |
| Sideoplysninger | 288 pages |
| Mål | 236 x 158 x 23 |
| ISBN-13 / EAN-13 | 9781848211438 |