Books by Clément Hurlin
No products found matching the selection.
-20%
Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
€78.30
€97.88
-20% with code BOOKS
In stock at our supplier