Bücher nach ISBN
>
LAP LAMBERT Academic Publishing
> Clément Hurlin
Clément Hurlin
C.H.
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
978-3-8383-6316-5
(3-8383-6316-7)
2010
Clemente Hernandez