by M. Ben-Ari
No reviews yet. Be the first!
Mathematical logic for computer science
Principles of concurrent and distributed...
Processus concurrents
Ada for software engineers
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