Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems -
- Format: Broché Voir le descriptif
195,03 €
Produit Neuf
Ou 48,76 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 27 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 Analysis, Verification And Transformation For Declarative Programming And Intelligent Systems Format Broché - Livre Informatique
0 avis sur Analysis, Verification And Transformation For Declarative Programming And Intelligent Systems Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
The Evolution Of Complexity By Means Of Natural Selection
Neuf dès 136,68 €
-
The Religion Of The Mithras Cult In The Roman Empire
Neuf dès 214,66 €
-
Last Resort: Photographs Of New Brighton
Occasion dès 139,90 €
-
Ellen Von Unwerth. Heimat
Neuf dès 98,04 €
-
Porsche Racing Cars
Neuf dès 102,94 €
-
Dictionnaire Chinois - Anglais
Occasion dès 99,00 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
Lexique Multilingue - Pâtisserie, Boulangerie, Chocolaterie-Confiserie, Glacerie
2 avis
Occasion dès 140,00 €
-
Ignacio Pinazo . Los Inicios De La Pintura Moderna
Occasion dès 152,00 €
-
Clifford Numbers And Spinors
Neuf dès 234,81 €
-
Laboratory Medicine In Psychiatry And Behavioral Science
Neuf dès 125,20 €
-
Quantum Chemistry, 2nd Edition
1 avis
Neuf dès 227,66 €
-
Cyanotype
Neuf dès 115,25 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Shade, The Changing Man By Peter Milligan And Chris Bachalo Omnibus Vol. 1
Neuf dès 128,81 €
-
The Book Of Tiki: The Cult Of Polynesian Pop In Fifties America (Taschen Specials)
Occasion dès 117,99 €
-
Batman By Scott Snyder & Greg Capullo Omnibus Vol. 1
Neuf dès 122,36 €
-
André Saraiva: Graffiti Life
Neuf dès 98,04 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Project Management For Engineers
Neuf dès 98,92 €
Produits similaires
Présentation Analysis, Verification And Transformation For Declarative Programming And Intelligent Systems Format Broché
- Livre Informatique
Résumé :
Strategies in Conditional Narrowing Modulo SMT Plus Axioms.- Optimizing Maude Programs via Program Specialization.- Automated Synthesis of Software Contracts with KindSpec.- Abstract Interpretation of Graphs.- Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming.- Grammar Induction for Under-resourced Languages: The Case of Ch'ol.- Answer Set Programming Made Easy.- The role of Abstraction in Model Checking.- Justifications and a Reconstruction of Parity Game Solving Algorithms.- SMT-based Test-Case Generation and Validation for Programs with Complex Specifications.- Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation.- Modularization of Logic Programs.- Proof-theoretic Foundations of Normal Logic Programs.- A Discourse on Guessing and Reasoning.- Reversible Debugging in Logic Programming.- Towards Systematically Engineering Autonomous Systems using Reinforcement Learning and Planning.- StrandSpaces with Choice via a Process Algebra Semantics....
Biographie:
Strategies in Conditional Narrowing Modulo SMT Plus Axioms.- Optimizing Maude Programs via Program Specialization.- Automated Synthesis of Software Contracts with KindSpec.- Abstract Interpretation of Graphs.- Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming.- Grammar Induction for Under-resourced Languages: The Case of Ch'ol.- Answer Set Programming Made Easy.- The role of Abstraction in Model Checking.- Justifications and a Reconstruction of Parity Game Solving Algorithms.- SMT-based Test-Case Generation and Validation for Programs with Complex Specifications.- Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation.- Modularization of Logic Programs.- Proof-theoretic Foundations of Normal Logic Programs.- A Discourse on Guessing and Reasoning.- Reversible Debugging in Logic Programming.- Towards Systematically Engineering Autonomous Systems using Reinforcement Learning and Planning.- StrandSpaces with Choice via a Process Algebra Semantics....
Sommaire:
Modularization of Logic Programs.- Proof-theoretic Foundations of Normal Logic Programs.- A Discourse on Guessing and Reasoning.- Reversible Debugging in Logic Programming.- Towards Systematically Engineering Autonomous Systems using Reinforcement Learning and Planning.- StrandSpaces with Choice via a Process Algebra Semantics....
Détails de conformité du produit
Personne responsable dans l'UE