Formal Methods for Distributed Processing
...
Engels | 18-12-2025 | 492 pagina's
9780521168755
Paperback / softback
59,95
Van Dinter boeken
Niet in magazijn, wel te bestellen.
Informeer naar levertijd
Informeer naar levertijd
Zonder kosten afhalen in onze winkel
Gratis parkeren voor de deur
Tekst achterflap
This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.
Details
| EAN : | 9780521168755 |
| Uitgever : | Van Ditmar Boekenimport B.V. |
| Publicatie datum : | 18-12-2025 |
| Uitvoering : | Paperback / softback |
| Taal/Talen : | Engels |
| Status : | Niet in magazijn, wel te bestellen. Informeer naar levertijd |
| Aantal pagina's : | 492 |