Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science - Maurizio Proietti - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540609391 - 6 mars 1996
Si la couverture et le titre ne correspondent pas, le titre est correct.

Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science

Maurizio Proietti

Prix
$ 68,56

Commandé depuis un entrepôt distant

Livraison prévue 23 mai - 3 juin

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science

These conference proceedings offer an up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Topics addressed include deductive and inductive program synthesis and synthesis models based on constructive type theory.

274 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 6 mars 1996
ISBN13 9783540609391
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 274
Dimensions 156 × 234 × 15 mm   ·   399 g
Éditeur Proietti, Maurizio
Afficher tout

Plus par Maurizio Proietti

Voir tous les Maurizio Proietti ( par ex. Book et Paperback Book )