Programming Languages and Systems -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre121,82 €
Produit Neuf
Ou 30,46 € /mois
- Livraison à 0,01 €
- Livré entre le 20 juillet et le 3 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030890506_dbm
Nos autres offres
-
123,29 €
Produit Neuf
Ou 30,82 € /mois
- Livraison : 3,99 €
- Livré entre le 20 et le 27 juillet
Voir le détail de l'annonce
- 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.
-
500+ Ukrainian Verbs
Neuf dès 66,50 €
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
-
Liberalism And The Limits Of Justice
Neuf dès 61,74 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
Picasso And Portraiture
Occasion dès 64,18 €
-
The Ghost In The Shell Book
Neuf dès 71,80 €
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 75,90 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
A History Of Modern Europe
Neuf dès 66,61 €
-
Soft Power And Great-Power Competition
Neuf dès 72,01 €
-
Girls, Some Boys, And Other Cookies
Occasion dès 127,99 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
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 €
-
Merce Cunningham
Occasion dès 70,00 €
-
Karl Blossfeldt
2 avis
Occasion dès 69,00 €
-
Comic Book Culture: An Illustrated History
Occasion dès 78,99 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
Atlas On The Prophet's Biography
Occasion dès 110,00 €
-
Images Of Scotland
Neuf dès 107,16 €
Produits similaires
Présentation Programming Languages And Systems Format Broché
- Livre Informatique
Résumé :
This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.* The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification. * The conference was held in a hybrid format due to the COVID-19 pandemic.
Sommaire: Analysis and Synthesis.- Scalable and Modular Robustness Analysis of Deep Neural Networks.- Function Pointer Eliminator for C Programs.- PyCT: A Python Concolic Tester.- Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications.- Server-Side Computation of Package Dependencies in Package-Management Systems.- Compilation and Transformation.- Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly.- A Dictionary-Passing Translation of Featherweight Go.- Hybrid quantum-classical circuit simplification with the ZX-calculus.- A compilation method for dynamic typing in ML.- Language Design.- The Choice Construct in the Souffl? Language.- Latent Effects for Reusable Language Components.- Adaptable Traces for Program Explanations.- A Typed Programmatic Interface to Contracts on the Blockchain.- Verification.- Simplifying of Alternating Automata for Emptiness Testing.- Termination Analysis for the pi-Calculus byReduction to Sequential Program Termination.- Proving LTL Properties of Bitvector Programs and Decompiled Binaries.- Solving Not-Substring Constraint with Flat Abstraction.-
Détails de conformité du produit
Personne responsable dans l'UE