Alta reperibilità
Distributed Systems
Methods And Tools For Specification. An Advanced Course
- Editore:
Springer Berlin Heidelberg
- EAN:
9783540152163
- ISBN:
3540152164
- Pagine:
- 584
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione Distributed Systems
Basic concepts.- Acquisition ¿ environment.- A graph model based approach to specifications.- Formal foundation for specification and verification.- Language constructs for distributed programs.- The argus language and system.- Paradigms for distributed programs.- Issues and tools for protocol specification.- Conclusion.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti