Acest site necesită browser-ul să fie activat JavaScript.
Vă rugăm să activați JavaScript și să reîncărcați această pagină.
Site-ul necesită browser-ul pentru a activa cookie-urile pentru a se autentifica.
Vă rugăm să activați cookie-urile și reîncărcați această pagină.
M. Ben-AriPrinciples of Concurrent and Distributed Programming, Paperback
la comenzi de peste 199 lei
Conform Termeni și condiții
Înainte de plată
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.
Am aprecia părerea ta! Evaluați acest produs
Nu există comentarii de la alți utilizatori.