Programming Languages and Systems -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre77,73 €
Produit Neuf
Ou 19,43 € /mois
- Livraison : 3,99 €
- Livré entre le 23 et le 29 juillet
- 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
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Anders Petersen, Rome
Occasion dès 65,00 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Final Fantasy X 25th Anniversary Visual Art Book -Eternal Spira-
Neuf dès 41,99 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Manuel D'arabe En Ligne Apprentissage En Autonomie
Occasion dès 50,00 €
-
Alice In Wonderland And Through The Looking-Glass (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 51,69 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
Gender Trouble
1 avis
Neuf dès 51,92 €
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
The Hobbit And The Lord Of The Rings
Occasion dès 42,30 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
Spring Boot 3 Und Spring Framework 6
Neuf dès 280,99 €
Occasion dès 39,92 €
-
Initiation Aux Lettres Latines - Livre N° 2 - Classe De Troisième 3e - Programme De 1971
Occasion dès 49,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 72,46 €
-
Maps
Neuf dès 46,70 €
-
Culinaria France
Occasion dès 57,00 €
-
500+ Ukrainian Verbs
Neuf dès 69,18 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
Produits similaires
Présentation Programming Languages And Systems Format Broché
- Livre Informatique
Résumé :
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.
Sommaire:
Quantum Programming / Domain-Specific Languages.- Circuit Width Estimation via Effect Typing and Linear Dependency.- On the Hardness of Analyzing Quantum Programs Quantitatively.- Reconciling Partial and Local Invertibility.- Efficient Matching with Memorization for Regexes with Look-around and Atomic Grouping.- Verification.- A Denotational Approach to Release/Acquire Concurrency.- Intel PMDK Transactions: Specification, Validation and Concurrency.- Artifact report: Intel PMDK Transactions: Specification, Validation and Concurrency.- Verifying Persistent Libraries.- Hyperproperty Verification as CHC Satisfiability.- Program Analysis.- Maximal Quantified Precondition Synthesis for Linear Array Loops.- Verified Inlining and Specialisation for PureCake.- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages.- Higher-Order LCTRSs andTheir Termination.- Abstract Interpretation A Modular Soundness Theory for the Blackboard Analysis Architecture.- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation.- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law .
Détails de conformité du produit
Personne responsable dans l'UE