by M. Ben-Ari
No reviews yet. Be the first!
Mathematical logic for computer science
Principles of concurrent and distributed...
Ada for software engineers
Processus concurrents
Principles of concurrent programming
Principles of the Spin model checker
IEEE standard for information technology
Ada
GRASP/Ada
Computer Architecture
Software engineering with Ada
Programming in Ada