304,78 €
Produit Neuf
Ou 76,20 € /mois
- Livraison : 3,99 €
- Livré entre le 24 et le 31 août
- 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.
-
Stratified Morse Theory
Neuf dès 191,54 €
-
Eva Hesse
Occasion dès 184,99 €
-
The Religion Of The Mithras Cult In The Roman Empire
Neuf dès 214,66 €
-
Quantum Chemistry, 2nd Edition
1 avis
Neuf dès 227,66 €
-
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 220,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 €
-
Collected Papers Of Albert Einstein, Volume 2
Neuf dès 369,72 €
-
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 €
-
The Lord Of The Rings
Neuf dès 190,12 €
-
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 €
-
Picasso 1926-1939: From Minotaur To Guernica
1 avis
Neuf dès 301,04 €
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