2014, ISBN: 9783319141244
[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International… Mehr…
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2022, ISBN: 9783319141244
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Progr… Mehr…
booklooker.de |
2014, ISBN: 3319141244
Logic-Based Program Synthesis and Transformation ab 20.11 € als Taschenbuch: 23rd International Symposium LOPSTR 2013 Madrid Spain September 18-19 2013 Revised Selected Papers. Auflage 20… Mehr…
Hugendubel.de Nr. 23298649. Versandkosten:, , DE. (EUR 0.00) Details... |
2014, ISBN: 9783319141244
Logic-Based Program Synthesis and Transformation - 23rd International Symposium LOPSTR 2013 Madrid Spain September 18-19 2013 Revised Selected Papers. Auflage 2014: ab 22.39 € Bücher > Ra… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
2014, ISBN: 9783319141244
Taschenbuch
23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers, Buch, Softcover, 2014, [PU: Springer International Publishing], Springer Internat… Mehr…
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2014, ISBN: 9783319141244
[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International… Mehr…
2022, ISBN: 9783319141244
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Progr… Mehr…
2014
ISBN: 3319141244
Logic-Based Program Synthesis and Transformation ab 20.11 € als Taschenbuch: 23rd International Symposium LOPSTR 2013 Madrid Spain September 18-19 2013 Revised Selected Papers. Auflage 20… Mehr…
2014, ISBN: 9783319141244
Logic-Based Program Synthesis and Transformation - 23rd International Symposium LOPSTR 2013 Madrid Spain September 18-19 2013 Revised Selected Papers. Auflage 2014: ab 22.39 € Bücher > Ra… Mehr…
2014, ISBN: 9783319141244
Taschenbuch
23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers, Buch, Softcover, 2014, [PU: Springer International Publishing], Springer Internat… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic-Based Program Synthesis and Transformation
EAN (ISBN-13): 9783319141244
ISBN (ISBN-10): 3319141244
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2014
Herausgeber: Springer International Publishing
Buch in der Datenbank seit 2015-03-03T22:51:05+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-02-09T13:55:07+01:00 (Vienna)
ISBN/EAN: 9783319141244
ISBN - alternative Schreibweisen:
3-319-14124-4, 978-3-319-14124-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gupta, ricardo, peña, gopal
Titel des Buches: notes the synthesis, logic, science synthesis, september, spain madrid, transformation
Daten vom Verlag:
Autor/in: Gopal Gupta; Ricardo Peña
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Verlag: Springer; Springer International Publishing
237 Seiten
Erscheinungsjahr: 2014-12-22
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
51,36 € (DE)
52,80 € (AT)
57,00 CHF (CH)
POD
XII, 237 p. 51 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Alternating Automata; Answer Set Programming; Constraint Logic Programming; Declarative Debugging; Formal Semantics; Functional Programming; Interpreter Generation; Languages; Linear Algebra; Logic Programming; Operational Semantics; Program Synthesis; Program Transformation; Security Type System; Software Testing; Static Analysis; Verification; Programming Techniques; Software Engineering; Formal Languages and Automata Theory; Artificial Intelligence; Discrete Mathematics in Computer Science; Computer Science Logic and Foundations of Programming; Software Engineering; Theoretische Informatik; Künstliche Intelligenz; Mathematik für Informatiker; Diskrete Mathematik; EA
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030138370 Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... (Lecture Notes in Computer Science, 11408) (Fred Mesnard; Peter J. Stuckey)
- 9783030138370 Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... (Lecture Notes in Computer Science, 11408) (Fred Mesnard; Peter J. Stuckey)
- 9783030138387 Logic-Based Program Synthesis and Transformation (Fred Mesnard; Peter J. Stuckey)
- 9783319631387 Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Pape (Manuel V Hermenegildo; Pedro Lopez-Garcia)
- 9783540787686 Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915) (Andy King)
< zum Archiv...