- 5 Results
Lowest price: € 51.98, highest price: € 62.44, average price: € 57.52
1
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817, Band 1817) - Bossi, Annalisa
Order
at Amazon.de (Intern. Bücher)
€ 51.98
Shipment: € 3.001
Order
Provider details
Sponsored link
Bossi, Annalisa:

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817, Band 1817) - Paperback

2008, ISBN: 9783540676287

Springer, Taschenbuch, Auflage: 2000, 322 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 1.03 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… More...

Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
close (x)
2
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817, Band 1817) - Bossi, Annalisa
Order
at Amazon.de (Intern. Bücher)
€ 62.44
Shipment: € 3.001
Order
Provider details
Sponsored link

Bossi, Annalisa:

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817, Band 1817) - Paperback

2008, ISBN: 9783540676287

Springer, Taschenbuch, Auflage: 2000, 322 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 1.03 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… More...

Shipping costs:Gewöhnlich versandfertig in 3 bis 4 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) London Lane Company
close (x)
3
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817, Band 1817) - Bossi, Annalisa
Order
at Amazon.de (Intern. Bücher)
€ 62.44
Shipment: € 3.001
Order
Provider details
Sponsored link
Bossi, Annalisa:
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817, Band 1817) - Paperback

2008

ISBN: 9783540676287

Springer, Taschenbuch, Auflage: 2000, 322 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 2.27 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… More...

Shipping costs:Gewöhnlich versandfertig in 3 bis 4 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) London Lane Company
close (x)
4
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817, Band 1817) - Bossi, Annalisa
Order
at Amazon.de (Intern. Bücher)
€ 57.23
Shipment: € 0.001
Order
Provider details
Sponsored link
Bossi, Annalisa:
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817, Band 1817) - Paperback

2008, ISBN: 9783540676287

Springer, Taschenbuch, Auflage: 2000, 322 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 2.27 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… More...

Shipping costs:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
close (x)
5
Logic-Based Program Synthesis and Transformation
Order
at Hugendubel.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Logic-Based Program Synthesis and Transformation - Paperback

2000, ISBN: 9783540676287

*Logic-Based Program Synthesis and Transformation* - 9th International Workshop LOPSTR'99 Venice Italy September 22-24 1999 Selected Papers. Auflage 2000 / Taschenbuch für 53.49 € / Aus d… More...

Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Logic-Based Program Synthesis and Transformation
Author:
Title:
ISBN:

3540676287


This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'99, held in Venice, Italy, in September 1999.The 14 revised full papers presented together with an invited paper and 2 tutorial lectures have gone through two rounds of reviewing and revisions. The book is divided into topical sections on software development, analysis and specialization, transformation, and verification.

Details of the book - Logic-Based Program Synthesis and Transformation


EAN (ISBN-13): 9783540676287
ISBN (ISBN-10): 3540676287
Hardcover
Paperback
Publishing year: 2000
Publisher: Springer Berlin Heidelberg
328 Pages
Weight: 0,497 kg
Language: eng/Englisch

Book in our database since 2008-03-06T08:10:42+00:00 (London)
Detail page last modified on 2024-01-22T09:09:20+00:00 (London)
ISBN/EAN: 3540676287

ISBN - alternate spelling:
3-540-67628-7, 978-3-540-67628-7
Alternate spelling and related search-keywords:
Book author: bossi, mestre, boss
Book title: notes, select, based paper, science and synthesis, transformation the base, logic computer science, 1817

Information from Publisher

Author: Annalisa Bossi
Title: Lecture Notes in Computer Science; Logic-Based Program Synthesis and Transformation - 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
Publisher: Springer; Springer Berlin
312 Pages
Publishing year: 2000-06-07
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VII, 312 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Computational Logic; Constraint Programming; Debugging; Extension; Formal Methods Program Verification; Functional Programming; Imperative Programming; Logic Programming; Program Analysis; Program Synthesis; formal method; logic; model checking; programming; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Programming Techniques; Artificial Intelligence; Formal Languages and Automata Theory; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; EA

Invited Talk.- Algebraic Specification and Program Development by Stepwise Refinement.- Tutorials.- Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency.- Constraint Logic Programming Applied to Model Checking.- Software Development.- On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.- Analysis and Specialisation.- Infinite State Model Checking by Abstract Interpretation and Program Specialisation.- Mode Analysis Domains for Typed Logic Programs.- Imperative Program Specialisation: An Approach Using CLP.- Specialising Finite Domain Programs Using Polyhedra.- Transformation.- Roles of Program Extension.- Transformation of Left Terminating Programs.- Transformation Rules for Logic Programs with Goals as Arguments.- Making Mercury Programs Tail Recursive.- The Replacement Operation for CCP Programs.- Verification.- Annotations for Prolog – A Concept and Runtime Handling.- Verification by Testing for Recursive Program Schemes.- Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs.- Context-Moving Transformations for Function Verification.
Includes supplementary material: sn.pub/extras
< to archive...