Programming Languages and Systems -

Format: Broché
708 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 (1)

Occasion (1)

Reconditionné

59,88 €

Produit Neuf

Ou 14,97 € /mois

Livraison à 0,01 €
Livré entre le 4 et le 7 août

Voir les modes de livraison

ORIG1

PRO Vendeur favori

4,5/5 sur 221 ventes

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

Nos autres offres

87,62 €

Occasion · Comme Neuf

Ou 21,91 € /mois

En savoir plus

4,38 € offerts
- Livraison : 25,00 €
Voir les modes de livraison
- Protection acheteurs :
- 0,00 €
USAMedia

PRO

4,6/5 sur + de 1 000 ventes

Contacter le vendeur

Afficher la description de l'annonce

Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus

Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-mail si vous avez des questions. Notre service clientele sera ravi de vous aider. Voir moins

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/03/2021 - Broché - Langue : Anglais

Editeur : Springer International PublishingLangue : AnglaisParution : 01/03/2021Format : Moyen, de 350g à 1kgNombre de pages : 708Expédition : 1054Dimensions : 23.5 x 15.5 x 3.8 ...

Editeur : Springer International Publishing

Langue : Anglais

Parution : 01/03/2021

Format : Moyen, de 350g à 1kg

Nombre de pages : 708

Expédition : 1054

Dimensions : 23.5 x 15.5 x 3.8

Résumé :
This open access book constitutes the proceedings of the 30^th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Biographie:

...

Sommaire:
The Decidability of Verification under PS 2.0.- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains.- Types for Complexity of Parallel Computation in Pi-Calculus.- Checking Robustness Between Weak Transactional Consistency Models.- Verified Software Units.- An Automated Deductive Verication Framework for Circuit-building Quantum Programs.- Nested Session Types.- Coupled Relational Symbolic Execution for Differential Privacy.- Graded Hoare Logic and its Categorical Semantics.- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing.- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM.- Run-time Complexity Bounds Using Squeezers.- Complete trace models of state and control.- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere.- Graded Modal Dependent Type Theory.- Automated Termination Analysis of Polynomial Probabilistic Programs.- Bayesian strategies: probabilistic programs as generalised graphical models.- Temporal Refinements for Guarded Recursive Types.- Query Lifting: Language-integrated query for heterogeneous nested collections.- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct.- Sound and Complete Concolic Testing for Higher-order Functions.- Strong-Separation Logic.

...

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