Behavioral Types in Programming Languages - Ancona, Davide
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre229,48 €
Produit Neuf
Ou 57,37 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 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 Behavioral Types In Programming Languages Format Broché - Livre Informatique
0 avis sur Behavioral Types In Programming Languages Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Art Of Merit: Studies In Buddhist Art And Its Conservation
Neuf dès 284,14 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 135,99 €
-
Gilbert Portanier
Neuf dès 141,34 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
Instruction Particuliere Et Secrete A Mon Fils: Oeuvres Spirituelles Classiques
Occasion dès 323,40 €
-
Pete Townshend: Who I Am
Neuf dès 127,99 €
-
A First Course In Logic
Neuf dès 130,46 €
Occasion dès 163,99 €
-
The Lord Of The Rings
Neuf dès 183,21 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Jouef : Les Petits Trains De Notre Enfance
1 avis
Occasion dès 115,00 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1970
3 avis
Neuf dès 129,00 €
-
Imagine Too!
1 avis
Neuf dès 191,68 €
-
Seamanship In The Age Of Sail
Occasion dès 215,00 €
-
Les Troubadours - Anthologie Bilingue - Jacques Roubaud
Occasion dès 130,00 €
-
Tacuinum Sanitatis In Medicina
1 avis
Neuf dès 115,90 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
Cowboy Kate And Other Stories
Occasion dès 161,55 €
-
Colloquial Arabic (Levantine)
Neuf dès 132,62 €
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
Produits similaires
Présentation Behavioral Types In Programming Languages Format Broché
- Livre Informatique
Résumé :
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their representation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to design and monitoring methodologies that take behaviors into account. Behavioral Types in Programming Languages provides the reader with the first comprehensive overview of the state of the art of these practical aspects, which are summarized as the pragmatics of behavioral types. Each section covers a particular programming paradigm or methodology, providing an ideal reference for programming languages researchers interested the topic, and in identifying the areas as yet unexplored....
Détails de conformité du produit
Personne responsable dans l'UE