2015, ISBN: 9783319141251
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 Mad… Mehr…
Orellfuessli.ch No. 44359699. Versandkosten:Zzgl. Versandkosten. (EUR 15.79) Details... |
2013, ISBN: 9783319141251
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 Mad… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783319141251
Computer Science; Programming Techniques; Software Engineering; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Discrete Mathematics in Computer Science… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
2013, ISBN: 9783319141251
Logic-Based Program Synthesis and Transformation - 23rd International Symposium LOPSTR 2013 Madrid Spain September 18-19 2013 Revised Selected Papers: ab 50.49 € eBooks > Fachthemen & Wis… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers - neues Buch
2013, ISBN: 9783319141251
; PDF; Scientific, Technical and Medical > Mathematics > Discrete mathematics, Springer Berlin Heidelberg
hive.co.uk No. 9783319141251. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2015, ISBN: 9783319141251
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 Mad… Mehr…
2013, ISBN: 9783319141251
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 Mad… Mehr…
ISBN: 9783319141251
Computer Science; Programming Techniques; Software Engineering; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Discrete Mathematics in Computer Science… Mehr…
2013, ISBN: 9783319141251
Logic-Based Program Synthesis and Transformation - 23rd International Symposium LOPSTR 2013 Madrid Spain September 18-19 2013 Revised Selected Papers: ab 50.49 € eBooks > Fachthemen & Wis… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic-Based Program Synthesis and Transformation
EAN (ISBN-13): 9783319141251
Erscheinungsjahr: 2013
Herausgeber: Springer International Publishing
Buch in der Datenbank seit 2016-01-27T12:43:21+01:00 (Vienna)
Detailseite zuletzt geändert am 2022-06-28T03:14:06+02:00 (Vienna)
ISBN/EAN: 9783319141251
ISBN - alternative Schreibweisen:
978-3-319-14125-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ricardo
Titel des Buches: synthesis, forth program, transformation, spain madrid
Daten vom Verlag:
Autor/in: Gopal Gupta; Ricardo Peña
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; 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: 2015-04-20
Cham; CH
Sprache: Englisch
50,28 € (DE)
51,70 € (AT)
57,00 CHF (CH)
Available
XII, 237 p. 51 illus.
EA; E107; eBook; Nonbooks, PBS / 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; C; Programming Techniques; Software Engineering; Formal Languages and Automata Theory; Artificial Intelligence; Discrete Mathematics in Computer Science; Computer Science Logic and Foundations of Programming; Computer Science; Software Engineering; Theoretische Informatik; Künstliche Intelligenz; Mathematik für Informatiker; Diskrete Mathematik; BC
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...