Programming Languages and Systems -

Format: Broché
508 pages

Voir le descriptif

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (2)

Occasion

Reconditionné

44,61 €

Produit Neuf

Ou 11,15 € /mois

Livraison à 0,01 €
Livré entre le 5 et le 8 août

Voir les modes de livraison

ORIG1

PRO Vendeur favori

4,5/5 sur 227 ventes

Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours

Nos autres offres

91,73 €

Produit Neuf

Ou 22,93 € /mois

En savoir plus
- Livraison : 25,00 €
- Livré entre le 11 et le 16 août
Voir les modes de livraison
Kelindo

PRO

4,8/5 sur + de 1 000 ventes

Contacter le vendeur
Afficher la description de l'annonce
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.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Programming Languages And Systems Format Broché - Livre Informatique

Note : 0 0 avis sur Programming Languages And Systems Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Programming Languages And Systems Format Broché
- Livre Informatique

Livre Informatique - 01/10/2014 - Broché - Langue : Anglais

Editeur : Springer International PublishingLangue : AnglaisParution : 01/10/2014Format : Moyen, de 350g à 1kgNombre de pages : 508Expédition : 762Dimensions : 23.5 x 15.5 x 2.8 ...

Editeur : Springer International Publishing

Langue : Anglais

Parution : 01/10/2014

Format : Moyen, de 350g à 1kg

Nombre de pages : 508

Expédition : 762

Dimensions : 23.5 x 15.5 x 2.8

Résumé :
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory; design of languages, type systems and foundational calculi; domain-specific languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation; program analysis, verification, model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; as well as tools and environments for programming and implementation.

Sommaire:

NetKAT - A Formal System for the Verification of Networks.-?Optimized Compilation of Multiset Rewriting with Comprehensions.-?Logic Programming and Logarithmic Space.-?Automatic Memory Management Based on Program Transformation Using Ownership.-?The Essence of Ruby.-?Types for Flexible Objects.-?A Translation of Intersection and Union Types for the ??-Calculus.-?A Formalized Proof of Strong Normalization for Guarded Recursive Types.-?Functional Pearl: Nearest Shelters in Manhattan.-?Suppl: A Flexible Language for Policies.-?A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.-?Model-Checking for AndroidMalware Detection.-?Necessary and Sufficient Preconditions via Eager Abstraction.-?Resource Protection Using Atomics: Patterns and Verification.-?Resource Analysis of Complex Programs with Cost Equations.-?Simple and Efficient Algorithms for Octagons.-?Compositional Entailment Checking for a Fragment of Separation Logic.-?Automatic Constrained Rewriting Induction towards Verifying Procedural Programs.-?A ZDD-Based Efficient Higher-Order Model Checking Algorithm.-?Inferring Grammatical Summaries of String Values.-?Syntax-Directed Divide-and-Conquer Data-Flow Analysis.-?Address Chain: Profiling Java Objects without Overhead in Java Heaps.-?Call-by-Value in a Basic Logic for Interaction.-?A Precise and Abstract Memory Model for C Using Symbolic Values.-?Hereditary History-Preserving Bisimilarity: Logics andAutomata.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Programming Languages and Systems -

Avis sur Programming Languages And Systems Format Broché - Livre Informatique

Présentation Programming Languages And Systems Format Broché - Livre Informatique

Présentation Programming Languages And Systems Format Broché
- Livre Informatique