EUR 17,91
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 234 Illus.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 28,41
Usado desde EUR 38,42
Encuentre también Tapa blanda
Publicado por Springer-Verlag, Berlin, 2001
ISBN 10: 3540421270 ISBN 13: 9783540421276
Idioma: Inglés
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
EUR 22,56
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Paperback. Lecture Notes in Computer Science, No. 2042. Barely noticeable shelfwear on covers. Edges and spine ends are very lightly worn. Contents in excellent condition. BW. Used.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 30,27
Encuentre también Tapa blanda
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
EUR 9,01
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 337 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 42,92
Usado desde EUR 30,01
Encuentre también Tapa blanda
Publicado por Berlin etc. : Springer, 2004
Idioma: Inglés
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Miembro de asociación: GIAQ
EUR 17,30
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover/Paperback. Condición: Sehr gut. X, 232 S. : ill. ; 24 cm. Sehr guter Zustand. In Folie verschweißt. Very good. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 430.
Librería: BoundlessBookstore, Wallingford, Reino Unido
EUR 21,39
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Very good condition paperback with minimal wear. Contents are clean and bright throughout with no markings.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 34,43
Encuentre también Tapa blanda
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
EUR 13,38
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 245 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 34,38
Encuentre también Tapa blanda
Publicado por Springer Berlin Heidelberg, 2013
ISBN 10: 3642381960 ISBN 13: 9783642381966
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 60,22
Usado desde EUR 36,37
Encuentre también Tapa blanda
EUR 27,20
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 352.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 37,70
Usado desde EUR 123,74
Encuentre también Tapa blanda
Publicado por Springer Berlin Heidelberg, 2012
ISBN 10: 3642322107 ISBN 13: 9783642322105
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 264 | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 60,22
Usado desde EUR 38,20
Encuentre también Tapa blanda
Publicado por Springer International Publishing, 2020
ISBN 10: 303045259X ISBN 13: 9783030452599
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Seiten: 280 | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 39,13
Encuentre también Tapa blanda
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642125913 ISBN 13: 9783642125911
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 216 | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 39,85
Encuentre también Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 248 | Sprache: Englisch | Produktart: Sonstiges.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 66,81
Usado desde EUR 40,06
Encuentre también Tapa blanda
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 45,44
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 45,44
Usado desde EUR 63,27
Encuentre también Tapa blanda
Librería: George Cross Books, Lexington, MA, Estados Unidos de America
Miembro de asociación: IOBA
EUR 29,75
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Reprint edition. Very Good/Wraps (34587) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 883 This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies. 451.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 47,25
Encuentre también Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 55,74
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 60,46
Usado desde EUR 149,74
Encuentre también Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 55,74
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 60,46
Encuentre también Tapa blanda
Publicado por Springer-Verlag, New York, 2002
ISBN 10: 3540439153 ISBN 13: 9783540439158
Idioma: Inglés
Librería: Doss-Haus Books, Redondo Beach, CA, Estados Unidos de America
EUR 20,27
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Lecture Notes in Computer Science ;2372. [viii, 265 p. : fig. ; 24 cm].
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 61,40
Encuentre también Tapa dura Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production: programmer productivity would improve, and correctness could be ensured by the application of mathematical methods. Because of their mathematical foundations, logic programs lend themselves particularly well to machine-assisted development techniques, and therefore to automation. This volume contains the proceedings of the second International Workshop on Logic Program Synthesis and Transformation (LOPSTR 92), held at the University of Manchester, 2-3 July 1992. The LOPSTR workshops are the only international meetings devoted to these two important areas. A variety of new techniques were described at the workshop, all of which promise to revolutionize the software industry once they become standard practise. These include techniques for the transformation of an inefficient program into an equivalent, efficient one, and the synthesis of a program from a formal specification of its required behaviour. Among the topics covered in this volume are: optimal transformation of logic programs; logic program synthesis via proof planning; deductive synthesis of programs for query answering; efficient compilation of lazy narrowing into Prolog; synthesis of narrowing programs; Logimix: a self-applicable partial evaluator for Prolog; proof nets; automatic termination analysis. Logic Program Synthesis and Transformation describes the latest advances in machine-assisted development of logic programs. It will provide essential reading for researchers and postgraduate students concerned with these two important areas.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 146,96
Encuentre también Tapa blanda
Publicado por Springer Berlin Heidelberg, 2005
ISBN 10: 3540266550 ISBN 13: 9783540266556
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Program Synthesis and Transf- mation. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The workshop is open to contributions in logic-based program development in any language paradigm. This year, LOPSTR put extra emphasis on the eld of veri cation by incorporating the VCL (Veri cation in Computational Logic) workshop. LOPSTR 2004 took place in Verona, Italy, and was co-located with the - ternational Static Analysis Symposium (SAS 2004), the ACM SIGPLAN 2004 Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM 2004), and the 6th ACM-SIGPLAN International Conference on Pr- ciples and Practice of Declarative Programming (PPDP 2004). Past workshops were held in Manchester (UK), Louvain-la-Neuve (Belgium), Pisa(Italy),Arnhem(theNetherlands),Stockholm(Sweden),Leuven(Belgium), Venice (Italy), London (UK), Paphos (Cyprus), Madrid (Spain) and Uppsala (Sweden). Since 1994 the proceedings have beenpublished in the Springer LNCS series. We received 23 full paper submissions (1 from Australia, 3 from the US, 4 1 from Asia, 3 from Africa, 11 from Europe , and one Spain US cooperation), and 11 extended abstract submissions (1 from Israel, 1 from Africa, one US Spain 2 cooperation,andtheotherswerefromEurope ).Weacceptedforpresentation11 full papers and 8 extended abstracts. This volume contains a selection consisting of the 11 full papers and of the full version of 6 of the extended abstracts.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 109,61
Encuentre también Tapa blanda
Publicado por Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319944592 ISBN 13: 9783319944593
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and GrigoreRosu. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 77,08
Encuentre también Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing a uniform declarative notation for precisely describing application domains, software requirements, and for prescribing behavior via logic programs. Program synthesis and transfonnation techniques formalize the process of developing correct and efficient programs from requirement specifications. The natural intersection of these two fields of research has been the focus of the LOPSTR workshops. The papers in this volume address many aspects of software develop ment including: deductive synthesis, inductive synthesis, transforma tions for optimizing programs and exploiting parallelism, program analysis techniques (particularly via abstract interpretation), meta programming languages and tool support, and various extensions to Prolog-like languages, admitting non-Horn clauses, functions, and constraints. Despite the progress represented in this volume, the transition from laboratory to practice is fraught with difficulties.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 130,94
Encuentre también Tapa blanda
Publicado por Springer Berlin Heidelberg, 1997
ISBN 10: 3540627189 ISBN 13: 9783540627180
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Encuentre también Tapa blanda
Publicado por Springer Berlin Heidelberg, 1999
ISBN 10: 3540657657 ISBN 13: 9783540657651
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 82,37
Encuentre también Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 62,09
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 66,81
Usado desde EUR 82,02
Encuentre también Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 62,09
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 109,19
Encuentre también Tapa blanda
Publicado por Springer Berlin Heidelberg, 2003
ISBN 10: 3540404384 ISBN 13: 9783540404385
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 101,33
Encuentre también Tapa blanda
Publicado por Springer Berlin Heidelberg, 2004
ISBN 10: 3540221743 ISBN 13: 9783540221746
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci cation, synthesis, veri cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re nement and logics for re nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro ted from the shared lectures of the invited speakers, and the active scienti c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002).
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 80,46
Encuentre también Tapa blanda
Publicado por Springer Berlin Heidelberg, 2000
ISBN 10: 3540676287 ISBN 13: 9783540676287
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR'99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), and Manchester, UK (1998). LOPSTR is a real workshop in the sense that it is a friendly and lively forum for presenting recent and current research as well as discussing future trends. Formal proceedings of the workshop are produced only after the workshop and contain only those papers selected by the program committee after a second refereeing process. The program committee of LOPSTR'99 accepted 20 extended abstracts for presentation at the workshop; then selected 14 papers for inclusion in the po- workshop proceedings. Selected papers cover all the main streams of LOPSTR's topics: synthesis, specialization, transformation, analysis, and veri cation. Ve- cation, transformation, and specialization methods are applied to functional, constraint, logic, and imperative programming.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 82,37
Encuentre también Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 62,09
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 66,81
Encuentre también Tapa blanda
Publicado por Springer International Publishing, Springer International Publishing, 2015
ISBN 10: 3319178210 ISBN 13: 9783319178219
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 136,30
Encuentre también Tapa blanda