Concurrency Verification: Einführung in Compositional and Non-Compositional
97,89 €
These are presented using CCL. This 2001 book is self-contained, guiding the reader from advanced undergraduate level.
Jetzt bei Ebay:
![Produktbild - Microeconometrics and Matlab: An Introduction [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/-M4AAeSwPFxoU6i3/s-l140.jpg)
![Produktbild - Distributed Systems: Concurrency and Consistency by Matthieu Perrin [Hardback]](https://i.ebayimg.com/thumbs/images/g/utcAAeSwCc5oPrfF/s-l140.jpg)
![Produktbild - Autodesk Inventor 2021: A Tutorial Introduction by Hansen, L. Scott [Paperback]](https://i.ebayimg.com/thumbs/images/g/cLYAAeSw21hoUu7k/s-l140.jpg)
