Bemærk: Kan ikke leveres før jul.
Forventes på lager: 10-06-2011
Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems.
| Forlag | ISTE Ltd and John Wiley & Sons Inc |
| Forfatter | F Kordon |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 10-06-2011 |
| Første udgivelsesår | 2011 |
| Fagredaktør | Serge (ENS de Cachan Haddad, Fabrice (UPMC Kordon, Laurent (Telecom ParisTech Pautet, Laure (University Paris 13 Petrucci |
| Originalsprog | United Kingdom |
| Sideantal | 356 |
| Indbinding | Hardback |
| Forlag | ISTE Ltd and John Wiley & Sons Inc |
| Sideoplysninger | 356 pages |
| Mål | 241 x 163 x 25 |
| ISBN-13 / EAN-13 | 9781848213142 |