Programming Languages and Systems -
- Format: Broché
- 392 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre36,33 €
Produit Neuf
Ou 9,08 € /mois
- Livraison à 0,01 €
- Livré entre le 5 et le 8 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 €
-
Tom Waits By Matt Mahurin
Occasion dès 47,16 €
-
The Chinese Art Book
Neuf dès 197,99 €
Occasion dès 47,29 €
-
Becoming Disfarmer
Occasion dès 23,00 €
-
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 €
-
Voyages En Van - 100 Itinéraires En France Et En Europe - Exclu Fnac
Occasion dès 37,95 €
-
The Vocabulary Guide - Les Mots Anglais Et Leur Emploi
Neuf dès 20,50 €
Occasion dès 27,00 €
-
Le Livre D'urantia
Occasion dès 50,00 €
-
Dave Pelz's Short Game Bible
Neuf dès 53,97 €
Occasion dès 34,99 €
-
Cambridge Igcse® First Language English Coursebook
Occasion dès 19,99 €
-
Sefer Yetzirah (En Français) - Le Livre De La Création - Par William Wynn Westcott: Avec Les 32 Voies De La Sagesse, Les 50 Portes De L'intelligence, Commentaires Et Illustrations De L'auteur
Occasion dès 31,99 €
-
Indian Villages Of The Southwest
Occasion dès 20,00 €
-
Grecs En Occident De L'age Mycénien À La Fin L'héllenisme
Occasion dès 25,00 €
-
Pith Instructions For A-Tri Dzogchen (Revised Edition)
Neuf dès 45,85 €
Occasion dès 62,99 €
-
Fun For Flyers Student's Book + Home Fun Booklet - Pack En 2 Volumes
Neuf dès 23,87 €
Occasion dès 37,89 €
-
Joi Travalh E Soufransa De Ma Gent Biografie Di Anziani Delle Valli Cluuzoun E Sanmartin
Occasion dès 34,00 €
-
Physiology Of The Heart
Neuf dès 52,91 €
Occasion dès 98,78 €
-
Chamäleon : La Grammaire Allemande Sur Le Bout De La Langue - 137 Rappels, 323 Exercices Et Corrigés
1 avis
Neuf dès 22,40 €
-
Lexique Bilingue De La Mode Français-Anglais Et Anglais-Français
1 avis
Occasion dès 20,00 €
Produits similaires
Présentation Programming Languages And Systems Format Broché
- Livre InformatiqueEditeur : Springer International PublishingLangue : AnglaisParution : 01/11/2020Format : Moyen, de 350g à 1kgNombre de pages : 392Expédition : 593Dimensions : 23.5 x 15.5 x 2.2 ...
Résumé :
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.* The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. * The conference was held virtually due to the COVID-19 pandemic.
Sommaire:
Program Analysis and Verification.- A Set-Based Context Model for Program Analysis.- Declarative Stream Runtime Verification (hLola).- Formal Verification of Atomicity Requirements for Smart Contracts.- Types.- Neural Networks, Secure by Construction: An Exploration of Refinement Types.- A New Refinement Type System for Automated nu-HFLZ Validity Checking.- Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language.- Syntactically Restricting Bounded Polymorphism for Decidable Subtyping.- Semantics.- An Abstract Machine for Strong Call by Value.- Certified Semantics for Relational Programming.- Algebraic and Coalgebraic Perspectives on Interaction Laws.- Program Generation, Transactions and Automation.- Stack-Driven Program Generation of WebAssembly.- Banyan: Coordination-free Transactions over Mergeable Replicated Data Types.- Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?.- Synthesis and ProgramTransformation.- Synthesis and Program Transformation.- Relational Synthesis for Pattern Matching.- REFINITY to Model and Prove Program Transformation Rules.- Debugging, Profiling and Constraint Solving.- A Counterexample-Guided Debugger for Non-Recursive Datalog.- A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving.- P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine.
Détails de conformité du produit
Personne responsable dans l'UE