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 »

Niemand

Separation Logic for Multithreaded Object-Oriented Languages

Welkom op Boeklezers.nl

Tippers

Lezers