Programming Languages and Systems - Bor-Yuh Evan Chang
- Format: Broché
- 576 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre52,91 €
Produit Neuf
Ou 13,23 € /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
Nos autres offres
-
200,94 €
Produit Neuf
Ou 50,24 € /mois
- Livraison : 25,00 €
- Livré entre le 11 et le 16 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 Programming Languages And Systems de Bor - Yuh Evan Chang Format Broché - Livre Informatique
0 avis sur Programming Languages And Systems de Bor - Yuh Evan Chang 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 €
-
Original Morgan 4/4, Plus 4 And Plus 8
1 avis
Occasion dès 59,99 €
-
Tom Waits By Matt Mahurin
Occasion dès 47,16 €
-
The Chinese Art Book
Neuf dès 197,99 €
Occasion dès 47,29 €
-
The Books Of Albion: The Collected Writings Of Peter Doherty
Occasion dès 59,99 €
-
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 Art And Soul Of Dune
Neuf dès 63,55 €
-
Le Livre D'urantia
Occasion dès 50,00 €
-
Nudes And Portraits
Occasion dès 63,44 €
-
Dave Pelz's Short Game Bible
Neuf dès 53,97 €
Occasion dès 34,99 €
-
Avedon At Work
1 avis
Neuf dès 71,15 €
Occasion dès 77,33 €
-
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 €
-
Pith Instructions For A-Tri Dzogchen (Revised Edition)
Neuf dès 45,85 €
Occasion dès 62,99 €
-
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 €
-
The Jewelers Of The Ummah
Neuf dès 39,09 €
-
Stanley Donwood: There Will Be No Quiet
Neuf dès 34,80 €
-
Musculoskeletal Mri
Neuf dès 44,61 €
Produits similaires
Présentation Programming Languages And Systems de Bor - Yuh Evan Chang Format Broché
- Livre InformatiqueAuteur(s) : Bor-Yuh Evan ChangEditeur : Springer International Publishing AgLangue : AnglaisParution : 01/11/2017Format : Moyen, de 350g à 1kgNombre de pages : 576Expédition :...
Résumé :
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length.?
Sommaire: Invited Contributions.- Programming by Examples: PL meets ML.- Synthesizing SystemC Code from Delay Hybrid CSP.- Security.- Taming Message-passing Communication in Compositional Reasoning about Confidentiality.- Capabilities for Java: Secure Access to Resources.- Enforcing Programming Guidelines with Region-Types and Effects.- Automatically generating secure wrappers for SGX enclaves from separation logic specifications.- Heap and Equivalence Reasoning.- Black-box equivalence checking across compiler optimizations.- Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects.- Decision Procedure for Entailment of Symbolic Heaps with Arrays.- Bringing order to the separation logic jungle.- Concurrency and Verification.- Programming and proving with classical types.- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous.- Verified Root-Balanced Trees.- Safety and Liveness of MCS Lock - Layer by Layer.- Domain-Specific Languages.- Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access.- Efficient Functional Reactive Programming through Incremental Behaviors.- Implementing Algebraic Effects in C - Monads for Free in C.- Sound and Efficient Language-Integrated Query: Maintaining the ORDER.- Semantics.- A Computational Interpretation of Context-Free Expressions.- Partiality and container monads.- The Negligible and Yet Subtle Cost of Pattern Matching.- A lambda calculus for density matrices wth classical and probabilistic controls.- Numerical Reasoning.- Compact Difference Bound Matrices.- Sharper and Simpler Nonlinear Interpolants for Program Verification.- A Nonstandard Functional Programming Language.- Counterexample-Guided Bit-Precision Selection.
Détails de conformité du produit
Personne responsable dans l'UE