229,48 €
Produit Neuf
Ou 57,37 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 octobre
- 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.
-
Pierre Bayle
Neuf dès 222,62 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Common Sense
Occasion dès 115,00 €
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
Diego Rivera. The Complete Murals
Neuf dès 212,44 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,08 €
-
A Court Of Thorns And Roses Paperback Box Set
Occasion dès 171,95 €
-
Bay Area Graffiti 80-90
1 avis
Occasion dès 325,99 €
-
Art Of Sea Of Thieves
1 avis
Neuf dès 127,99 €
-
Car Racing 1971
Neuf dès 129,00 €
-
Lawrence Weiner: Displacement
Occasion dès 207,99 €
-
Soviet Military Deception In The Second World War
Neuf dès 195,80 €
-
Norstedts Stora Svensk-Engelska Ordbok : Norstedts Comprehensive Swedish-English Dictionary
Occasion dès 205,00 €
-
Art+Com
Occasion dès 155,99 €
-
The Lord Of The Rings
Neuf dès 190,88 €
-
Nuancier Dcs Cmyk Pro
Occasion dès 230,00 €
-
L'ecole De Paris, 1945-1965: Dictionnaire Des Peintres (Dictionnaires)
2 avis
Occasion dès 132,65 €
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