304,78 €
Produit Neuf
Ou 76,20 € /mois
- Livraison : 3,99 €
- Livré entre le 26 août et le 2 septembre
- 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 Algorithimic Languages And Calculi de Lambert Meerkens Format Relié - Livre Informatique
0 avis sur Algorithimic Languages And Calculi de Lambert Meerkens Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
-
Andreas Gursky (Hardcover)
Occasion dès 217,99 €
-
Bay Area Graffiti 80-90
Occasion dès 330,99 €
-
The Religion Of The Mithras Cult In The Roman Empire
Neuf dès 214,66 €
-
Postcolonial Literatures Of Climate Change
Neuf dès 223,08 €
-
Eva Hesse
Occasion dès 184,99 €
-
Passion & Tradition Boulangères
Occasion dès 390,00 €
-
Marina B: L'art De La Joaillerie Et Son Design
Occasion dès 299,00 €
-
Intrinsic Motivation And Self-Determination In Human Behavior
1 avis
Neuf dès 342,95 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 222,99 €
-
Investor Protection In Europe
Neuf dès 421,99 €
-
2010 Fifa Tm (Shopro Books)
Occasion dès 315,99 €
-
Emile Zola: D'un Naturalisme Pervers
Occasion dès 440,00 €
-
Torsi Torses Nus
Occasion dès 270,00 €
-
Clifford Numbers And Spinors
Neuf dès 234,81 €
-
Genre In Archaic And Classical Greek Poetry: Theories And Models
Neuf dès 267,64 €
-
Loulou De La Falaise
Occasion dès 158,99 €
-
Nuancier Dcs Cmyk Pro
Occasion dès 230,00 €
-
Dépression Et Anxiété : Comprendre Et Surmonter Par L'approche Cognitive
Occasion dès 193,95 €
Produits similaires
Présentation Algorithimic Languages And Calculi de Lambert Meerkens Format Relié
- Livre Informatique
Résumé :
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.
Sommaire:
Preface. Programme committee. Dynamic programming: a different perspective - S. Curtis. Calculating with pointer structures - B. Moller. Deriving a systolic regular language recognizer - M. Vaccarri and R. Backhouse. Discussion. A calculation fusion system HYLO - Y. Onoue, Z. Hu, H. Iwasaki and M. Takeichi. Refinement of data parallel programs in PEI - E. Violard, S. Genaud and G-R. Perrin. Solving large systems of differential equations in parallel using covers and skeletons - M. Sudholt, C. Piepenbrock, K. Obermayer and P. Pepper. Discussion. Refinement of parameterized algebraic specifications - Y.V. Srinivas. Towards a compositional interpretation of object diagrams - J.C. Bicarregui, K.C. Lano and T.S.E. Maibaum. A powerful transformation rule, its applications and variants - K. Achatz and H. Partsch. Program derivation via list introduction - A. Pettorossi and M. Proietti. Towards a calculus for abstract syntax trees - D.S. Wile. Discussion. Principledstrength reduction - Y.A. Liu. The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset - D. Goyal and R. Paige. Predicative semantics of loops - T.S. Norvell. Discussion. Index of contributors. Keyword index.
Détails de conformité du produit
Personne responsable dans l'UE