articole
(gol)
Contact
Cont 
From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling...
citește totul
From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness.
ascunde descrierea
- Editură: Pearson Education (US)
- Cod:
- Anul publicării: 2005
- Limba: Engleză
- Legarea: Broșată
- Număr de pagini: 384
- Lățimea ambalajului: 17.7 cm
- Înălțimea ambalajului: 23.3 cm
- Adâncimea ambalajului: 2.5 cm
- Greutatea ambalajului: 674 g
Recenzii