Boek

Separation Logic for Multithreaded Object-Oriented Languages

Full-Fledged Verification and Automatic Parallelization of Programs «

Score:

(3/0)

Aantal recensies:

0

Aantal keer getipt:

0

Aantal keer gelezen:

0

Auteur(s):

Cl, Clément Hurlin

Categorie:

ISBN

9783838363165

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Er zijn nog geen recensies voor dit boek.

Meer recensies »

Separation Logic for Multithreaded Object-Oriented Languages

Welkom op Boeklezers.nl

Recensies van Separation Logic for Multithreaded Object-Oriented Languages door Cl & Clément Hurlin