- 5 Ergebnisse
Kleinster Preis: € 55,60, größter Preis: € 67,05, Mittelwert: € 62,24
1
Logic-based Program Synthesis And Transformation: 29th International Symposium, Lopstr 2019, Porto, Portugal, October 8-10, 2019,
Bestellen
bei Indigo.ca
C$ 91,95
(ca. € 67,05)
Bestellen
Details und Versand
gesponserter Link

Logic-based Program Synthesis And Transformation: 29th International Symposium, Lopstr 2019, Porto, Portugal, October 8-10, 2019, - neues Buch

2019, ISBN: 9783030452599

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Por… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Logic-Based Program Synthesis and Transformation 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8¿10, 2019, Revised Selected Papers - Gabbrielli, Maurizio (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Gabbrielli, Maurizio (Herausgeber):

Logic-Based Program Synthesis and Transformation 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8¿10, 2019, Revised Selected Papers - neues Buch

2020, ISBN: 303045259X

1st ed. 2020 Kartoniert / Broschiert Computerhardware, Angewandte Informatik, Computermodellierung und -simulation, Künstliche Intelligenz, ArtificialIntelligence; computerhardware; com… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Logic-Based Program Synthesis and Transformation 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8¿10, 2019, Revised Selected Papers - Gabbrielli, Maurizio (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 64,50
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Gabbrielli, Maurizio (Herausgeber):
Logic-Based Program Synthesis and Transformation 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8¿10, 2019, Revised Selected Papers - neues Buch

2020

ISBN: 303045259X

1st ed. 2020 Kartoniert / Broschiert Computerhardware, Angewandte Informatik, Computermodellierung und -simulation, Künstliche Intelligenz, ArtificialIntelligence; computerhardware; com… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Logic-Based Program Synthesis and Transformation
Bestellen
bei Hugendubel.de
€ 61,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic-Based Program Synthesis and Transformation - Taschenbuch

2020, ISBN: 303045259X

Logic-Based Program Synthesis and Transformation ab 61.99 € als Taschenbuch: 29th International Symposium LOPSTR 2019 Porto Portugal October 8-10 2019 Revised Selected Papers. 1st ed. 202… Mehr…

Nr. 38714255. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
5
Logic-Based Program Synthesis and Transformation - Maurizio Gabbrielli
Bestellen
bei lehmanns.de
€ 62,05
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Maurizio Gabbrielli:
Logic-Based Program Synthesis and Transformation - Erstausgabe

2020, ISBN: 9783030452599

Taschenbuch

29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8?10, 2019, Revised Selected Papers, Buch, Softcover, 1st ed. 2020, [PU: Springer International Publishing], Springer I… Mehr…

Versandkosten:Versand in 15-20 Tagen. (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:

9783030452599

Detailangaben zum Buch - Logic-Based Program Synthesis and Transformation


EAN (ISBN-13): 9783030452599
ISBN (ISBN-10): 303045259X
Taschenbuch
Erscheinungsjahr: 2020
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2020-05-14T13:08:00+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-05-25T12:36:18+02:00 (Vienna)
ISBN/EAN: 9783030452599

ISBN - alternative Schreibweisen:
3-030-45259-X, 978-3-030-45259-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: maurizio
Titel des Buches: logic pro, science synthesis, october, transformation, porto portugal

Daten vom Verlag:

Autor/in: Maurizio Gabbrielli
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
Verlag: Springer; Springer International Publishing
261 Seiten
Erscheinungsjahr: 2020-04-22
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVI, 261 p. 606 illus., 228 illus. in color.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; artificial intelligence; computer hardware; computer programming; computer systems; distributed computer systems; distributed systems; embedded systems; formal logic; linguistics; logic programming; mathematics; parallel processing systems; program compilers; semantics; software design; software engineering; software quality; verification; verification and validation; Computer Science Logic and Foundations of Programming; Computer Engineering and Networks; Computer Modelling; Computer and Information Systems Applications; Artificial Intelligence; Computerhardware; Computermodellierung und -simulation; Angewandte Informatik; Künstliche Intelligenz; EA

Reversibilization in Functional and Concurrent Programming.- Horn clauses and tree automata for imperative program verification.- On xpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics.- A General Framework for Static Cost Analysis of Parallel Logic Programs.- Incremental Analysis of Logic Programs with Assertions and Open Predicates.- Computing Abstract Distances in Logic Programs.- Synthesizing Imperative Code from Answer Set Programming Specifications.- Verified Construction of Fair Voting Rules.- Solving Proximity Constraints.- A Certified Functional Nominal C-Unification Algorithm.- Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming.- An Integrated Approach to Assertion-Based Random Testing in Prolog.-Trace analysis using an Event-driven Interval Temporal Logic.- The Prolog debugger and declarative programming.- A Port Graph Rewriting Approach to Relational Database Modelling.- Generalization-driven semantic clone detection in CLP.- Semi-Inversion of Conditional Constructor Term Rewriting Systems.


< zum Archiv...