

Programming Languages and Systems -
- Format: Broché
- 484 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre44,61 €
Produit Neuf
Ou 11,15 € /mois
- Livraison à 0,01 €
- Livré entre le 5 et le 8 août
Nos autres offres
-
88,25 €
Produit Neuf
Ou 22,06 € /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 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 €
-
Original Morgan 4/4, Plus 4 And Plus 8
1 avis
Occasion dès 60,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 €
-
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 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 33,77 €
-
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 €
-
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 €
-
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 52,91 €
Occasion dès 98,78 €
Produits similaires
Présentation Programming Languages And Systems Format Broché
- Livre InformatiqueEditeur : Springer International PublishingLangue : AnglaisParution : 01/10/2016Format : Moyen, de 350g à 1kgNombre de pages : 484Expédition : 727Dimensions : 23.5 x 15.5 x 2.7 ...
Résumé :
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.
Sommaire:
Semantics, logics, and foundational theory.- Design of languages type systems, and foundational calculi.- Domain-specific languages.-Compilers, interpreters, and abstract machines.- Program derivation, synthesis and transformation.- Program analysis, verification, and model-checking.- Logic, constraint, probabilistic and quantum programming.- Software security; concurrency and parallelism.- Tools for programming and implementation
Détails de conformité du produit
Personne responsable dans l'UE