Taschenbuch

Auf Lager bei iMusic

Nicht verfügbare Artikel anzeigen

Releases von Clément Hurlin

Cover for Clément Hurlin · Separation Logic for Multithreaded Object-oriented Languages: Full-fledged Verification and Automatic Parallelization of Programs (Taschenbuch) (2010)
Taschenbuch
Separation Logic for Multithread...
Clément Hurlin