Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germa Roever
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£49.99
£43.18
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germa Roever
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£225.00
£187.53
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket