Separation Logic for Multithreaded Object-Oriented Languages - Hurlin, Clément
- Format: Broché Voir le descriptif
111,01 €
Produit Neuf
Ou 27,75 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 octobre
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Separation Logic For Multithreaded Object - Oriented Languages Format Broché - Livre Informatique
0 avis sur Separation Logic For Multithreaded Object - Oriented Languages Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Sf2a : Scientific Highlights 2004
Occasion dès 69,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Le Corbusier
2 avis
Occasion dès 59,90 €
-
English Legal System Eighth Edition
Neuf dès 60,59 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Turc Sans Peine Méthode Assimil
Occasion dès 60,25 €
-
Harald Szeemann
Neuf dès 87,99 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
The Globalization Of World Politics
Neuf dès 87,03 €
-
I: Functional Analysis
Occasion dès 82,70 €
-
Didactique De L'anglais - Tome 2, La Mise En Oeuvre Pédagogique
Occasion dès 58,88 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
The Big Book Of B Movies
Occasion dès 96,20 €
-
The Rainbow
Neuf dès 105,43 €
-
Motor Racing - Reflections Of A Lost Era
Neuf dès 63,37 €
-
Microeconomic Theory
Occasion dès 69,79 €
-
Rules, Patterns And Words
Neuf dès 80,00 €
-
Quantum Mechanics
Occasion dès 65,00 €
Produits similaires
Présentation Separation Logic For Multithreaded Object - Oriented Languages Format Broché
- Livre Informatique
Résumé :
Multithreading is becoming ubiquitous to build high-performance software. Multithreaded programs, however, are both harder to write and harder to debug. The random occurrence of tricky bugs make them highly time-consuming to find. In this context, program verification is a powerful tool to build safe multithreaded programs. This book adapts separation logic - a novel and successful technique to reason about imperative programs - to multithreaded object-oriented programs ? la Java. First it shows how to finely reason about the start and join primitives for multithreading. Second, this book shows to reason about reentrant locks i.e. Java''s locks. Then, the book describes two novel applications of separation logic : debugging of specifications by means of protocols and enhancement of verification by disproving. The book concludes with an entirely new approach to automatic parallelization that 1/ permits to parallelize arbitrary code (i.e. not only loops) 2/ offers high confidence in the parallelized programs obtained. This book is targeted to theorists and practitioners of program verification that aim at discovering the last advances in this field....
Détails de conformité du produit
Personne responsable dans l'UE