Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
LAP Lambert Academic Publishing (9783838363165) | Separation Logic for Multithreaded
Preis von (3 Angebote)66.74 EUR
Weitere Informationen

