Program Verification (International Computer Science Series)
$11.69
Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming (Acm Press Books)
Out of Stock
Unification Grammars
$141.26
Proof-Theoretic Semantics
$27.00
A View of Connexive Logics
$22.73
Fairness (Texts and Monographs in Computer Science)
$59.78