- 5 Ergebnisse
Kleinster Preis: € 51,98, größter Preis: € 62,44, Mittelwert: € 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
Bestellen
bei Amazon.de (Intern. Bücher)
€ 51,98
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter 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) - Taschenbuch

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… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (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
Bestellen
bei Amazon.de (Intern. Bücher)
€ 62,44
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter 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) - Taschenbuch

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… Mehr…

Versandkosten: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
zuklappen (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
Bestellen
bei Amazon.de (Intern. Bücher)
€ 62,44
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter 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) - Taschenbuch

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… Mehr…

Versandkosten: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
zuklappen (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
Bestellen
bei Amazon.de (Intern. Bücher)
€ 57,23
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter 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) - Taschenbuch

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… Mehr…

Versandkosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
5
Logic-Based Program Synthesis and Transformation
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic-Based Program Synthesis and Transformation - Taschenbuch

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… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Logic-Based Program Synthesis and Transformation
Autor:
Titel:
ISBN-Nummer:

9783540676287


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.

Detailangaben zum Buch - Logic-Based Program Synthesis and Transformation


EAN (ISBN-13): 9783540676287
ISBN (ISBN-10): 3540676287
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer Berlin Heidelberg
328 Seiten
Gewicht: 0,497 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-03-06T09:10:42+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-22T10:09:20+01:00 (Vienna)
ISBN/EAN: 9783540676287

ISBN - alternative Schreibweisen:
3-540-67628-7, 978-3-540-67628-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: bossi, mestre, boss
Titel des Buches: notes, select, based paper, science and synthesis, transformation the base, logic computer science, 1817

Daten vom Verlag:

Autor/in: Annalisa Bossi
Titel: Lecture Notes in Computer Science; Logic-Based Program Synthesis and Transformation - 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
Verlag: Springer; Springer Berlin
312 Seiten
Erscheinungsjahr: 2000-06-07
Berlin; Heidelberg; DE
Sprache: Englisch
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
< zum Archiv...