TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 | Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Hartmut Ehrig (u. a.)
ISBN 10: 354017611X ISBN 13: 9783540176114
Edité par Springer-Verlag GmbH, 1987
Neuf(s)
Taschenbuch
Vendeur
preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 5 août 2024
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 | Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) | Hartmut Ehrig (u. a.) | Taschenbuch | xiv | Englisch | 1987 | Springer-Verlag GmbH | EAN 9783540176114 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 101947997
Synopsis :
No Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (Cflp) Volume 2 Read a customer review or write one .
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : TAPSOFT '87: Proceedings of the ...
Éditeur : Springer-Verlag GmbH
Date d'édition : 1987
Reliure : Taschenbuch
Etat : Neu
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
TAPSOFT 87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Edité par
Springer Berlin Heidelberg, 1987
ISBN 10 : 354017611X
ISBN 13 : 9783540176114
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mi. N° de réf. du vendeur 4883483
Acheter neuf
EUR 35,19
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Edité par
Springer Berlin Heidelberg, 1987
ISBN 10 : 354017611X
ISBN 13 : 9783540176114
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mini-Standard ML.- Listlog ¿ A PROLOG extension for list processing.- Intensional negation of logic programs: Examples and implementation techniques.- Improving the execution speed of compiled Prolog with modes, clause selection, and determinism.- Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph.- Generating efficient code from strictness annotations.- Hoisting: Lazy evaluation in a cold climate.- Inductive assertion method for logic programs.- Higher order generalization in program derivation.- Implementing algebraically specified abstract data types in an imperative programming language.- A declarative environment for concurrent logic programming.- Or-parallel execution models of Prolog.- Retractions: A functional paradigm for logic programming.- Refined strategies for semantic unification.- Extensional models for polymorphism.- A type discipline for program modules.- Theory and practice of canonical term functors in abstract data type specifications. N° de réf. du vendeur 9783540176114
Acheter neuf
EUR 37,44
Frais de port :
EUR 62,70
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Edité par
Springer Berlin Heidelberg, J.B. Metzler Feb 1987, 1987
ISBN 10 : 354017611X
ISBN 13 : 9783540176114
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mini-Standard ML.- Listlog ¿ A PROLOG extension for list processing.- Intensional negation of logic programs: Examples and implementation techniques.- Improving the execution speed of compiled Prolog with modes, clause selection, and determinism.- Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph.- Generating efficient code from strictness annotations.- Hoisting: Lazy evaluation in a cold climate.- Inductive assertion method for logic programs.- Higher order generalization in program derivation.- Implementing algebraically specified abstract data types in an imperative programming language.- A declarative environment for concurrent logic programming.- Or-parallel execution models of Prolog.- Retractions: A functional paradigm for logic programming.- Refined strategies for semantic unification.- Extensional models for polymorphism.- A type discipline for program modules.- Theory and practice of canonical term functors in abstract data type specifications.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch. N° de réf. du vendeur 9783540176114
Acheter neuf
EUR 37,44
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Edité par
Springer Berlin Heidelberg Feb 1987, 1987
ISBN 10 : 354017611X
ISBN 13 : 9783540176114
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mini-Standard ML.- Listlog ¿ A PROLOG extension for list processing.- Intensional negation of logic programs: Examples and implementation techniques.- Improving the execution speed of compiled Prolog with modes, clause selection, and determinism.- Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph.- Generating efficient code from strictness annotations.- Hoisting: Lazy evaluation in a cold climate.- Inductive assertion method for logic programs.- Higher order generalization in program derivation.- Implementing algebraically specified abstract data types in an imperative programming language.- A declarative environment for concurrent logic programming.- Or-parallel execution models of Prolog.- Retractions: A functional paradigm for logic programming.- Refined strategies for semantic unification.- Extensional models for polymorphism.- A type discipline for program modules.- Theory and practice of canonical term functors in abstract data type specifications. 356 pp. Englisch. N° de réf. du vendeur 9783540176114
Acheter neuf
EUR 37,44
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volum
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540176114
Acheter neuf
EUR 40,20
Frais de port :
EUR 17,68
De Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image d'archives
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... (Lecture Notes in Computer Science, 250)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540176114_new
Acheter neuf
EUR 42,48
Frais de port :
EUR 13,68
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... (Lecture Notes in Computer Science, 250)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020161446
Acheter neuf
EUR 48,27
Frais de port :
EUR 3,44
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 356. N° de réf. du vendeur 263066583
Acheter neuf
EUR 57,98
Frais de port :
EUR 3,44
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 356 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5862664
Acheter neuf
EUR 58,87
Frais de port :
EUR 7,42
De Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 356. N° de réf. du vendeur 183066589
Acheter neuf
EUR 59,90
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)