Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)
from $54.99
Interpreted Languages and Compositionality (Studies in Linguistics and Philosophy Book 89)
from $91.06
By Willem-Paul de Roever - Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 1st (first) Edition
from $147.66
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science) by Roever, Willem-Paul de, Boer, Frank de, Hanneman, Ulrich, Ho (2012) Paperback
from $201.40
More results from Amazon »