Separation Logic for Multithreaded Object-Oriented Languages - Hurlin, Clément
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre111,01 €
Produit Neuf
Ou 27,75 € /mois
- Livraison : 25,00 €
- Livré entre le 30 juillet et le 4 août
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.
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 75,90 €
-
Collecting Antique Meerschaum Pipes
Neuf dès 55,84 €
-
A History Of Modern Europe
Neuf dès 66,61 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
Motel Fetish
1 avis
Occasion dès 59,00 €
-
Official Guide To Oet
Neuf dès 69,41 €
-
Agitator
Occasion dès 58,00 €
-
Picasso And Portraiture
Occasion dès 64,18 €
-
Photographs
Occasion dès 80,09 €
-
The Ghost In The Shell Book
Neuf dès 68,51 €
-
Numicon: Homework Activities Intervention Resource - 'maths Bag' Of Resources Per Pupil
Neuf dès 69,96 €
-
Soft Power And Great-Power Competition
Neuf dès 58,89 €
-
L'anglais À L'entrée Des Grandes Écoles N° 5 - Épreuves Corrigées Des Concours 1973-1977
Occasion dès 55,50 €
-
The Art Of Jewelry Design
1 avis
Neuf dès 76,78 €
Occasion dès 66,00 €
-
Idiomes Et Proverbes - N° 6 - Idiomes Et Proverbes - Anglais-Français, Français-Anglais
Occasion dès 89,90 €
-
Singing With Your Whole Self
Neuf dès 64,25 €
-
Duden Deutsches Universalwörterbuch - Das Umfassende Bedeutungswörterbuch Der Deutschen Gegenwartssprache
1 avis
Occasion dès 63,23 €
-
Car Racing 1965
1 avis
Neuf dès 109,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