Programming Languages and Systems -
- Format: Broché
- 620 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre59,88 €
Produit Neuf
Ou 14,97 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 7 août
Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
- 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 Programming Languages And Systems Format Broché - Livre Informatique
0 avis sur Programming Languages And Systems Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Isamu Noguchi: Space Of Akari And Stone
Occasion dès 30,00 €
-
The Chinese Art Book
Neuf dès 197,99 €
Occasion dès 47,29 €
-
Toda Mafalda
Occasion dès 70,62 €
-
Cricut Joy
Neuf dès 51,50 €
Occasion dès 100,00 €
-
Building With Straw Bales: A Practical Manual For Self-Builders And Architects Volume 6
Neuf dès 39,76 €
-
Le Livre D'urantia
Occasion dès 50,00 €
-
Century Series In Color (F-100 Super Sabre; F-101 Voodoo; F-102 Delta Dagger; F-104 Starfighter; F-105 Thunderchief; F-106 Delta Dart) - Fighting Colors Series (6501)
Occasion dès 54,82 €
-
The World Atlas Of Wine 8th Edition
Occasion dès 83,00 €
-
7: - Best Karate 7: Jitte,Hangetsu, Empi
Occasion dès 53,35 €
-
Designing Creatures And Characters
Neuf dès 40,68 €
Occasion dès 35,00 €
-
Peugeot 206 Petrol & Diesel (98 - 01) Haynes Repair Manual
Neuf dès 40,97 €
-
The Reconstruction Of Nations
Neuf dès 30,09 €
-
Warhammer 40,000 Rulebook
Occasion dès 86,76 €
-
Joi Travalh E Soufransa De Ma Gent Biografie Di Anziani Delle Valli Cluuzoun E Sanmartin
Occasion dès 34,00 €
-
Anglais Spécial Toeic - Cahier De Vacances
Occasion dès 30,59 €
-
Ice Cold - A Hip-Hop Jewelry History
1 avis
Neuf dès 80,00 €
Occasion dès 39,00 €
-
Physiology Of The Heart
Neuf dès 44,80 €
Occasion dès 98,78 €
-
The Jewelers Of The Ummah
Neuf dès 39,09 €
-
Building Scientific Apparatus
Neuf dès 50,69 €
-
Stanley Donwood: There Will Be No Quiet
Neuf dès 34,80 €
Produits similaires
Présentation Programming Languages And Systems Format Broché
- Livre InformatiqueEditeur : Springer International Publishing AgLangue : AnglaisParution : 01/03/2022Format : Moyen, de 350g à 1kgNombre de pages : 620Expédition : 925Dimensions : 23.5 x 15.5 x 3.4 ...
Résumé :
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
Sommaire:
Categorical Foundation of Gradient-Based Learning.- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.- Foundations for Entailment Checking in Quantitative Separation Logic.- Extracting total Amb programs from proofs.- Why3-do: The Way of Harmonious Distributed System Proofs.- Relaxed virtual memory in Armv8-A.- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture.- The Trusted Computing Base of the CompCert Verified Compiler.- View-Based Owicki-Gries Reasoning for Persistent x86-TSO.- Abstraction for Crash-Resilient Objects.- Static Race Detection for Periodic Programs.- Probabilistic Total Store Ordering.- Linearity and Uniqueness: An Entente Cordiale.- A Framework for Substructural Type Systems.- A Dependent Dependency Calculus.- Polarized Subtyping.- Structured Handling of Scoped Effects.- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style.- A Predicate Transformer for Choreographies.- Comparing the expressiveness of the -calculus and CCS.- Concurrent NetKAT.
Détails de conformité du produit
Personne responsable dans l'UE