Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers - neues Buch
2012, ISBN: 9783642381973
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leu… Mehr…
hive.co.uk No. 9783642381973. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
ISBN: 9783642381973
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... |
2012, ISBN: 9783642381973
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 201… Mehr…
eBook.de No. 25407198 Versandkosten:zzgl. Versandkosten Details... |
2012, ISBN: 9783642381973
Logic-Based Program Synthesis and Transformation - 22nd International Symposium LOPSTR 2012 Leuven Belgium September 18-20 2012 Revised Selected Papers: ab 47.99 € eBooks > Fachthemen & W… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
2013, ISBN: 9783642381973
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers - neues Buch
2012, ISBN: 9783642381973
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leu… Mehr…
ISBN: 9783642381973
Computer Science; Programming Techniques; Software Engineering; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Discrete Mathematics in Computer Science… Mehr…
2012
ISBN: 9783642381973
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 201… Mehr…
2012, ISBN: 9783642381973
Logic-Based Program Synthesis and Transformation - 22nd International Symposium LOPSTR 2012 Leuven Belgium September 18-20 2012 Revised Selected Papers: ab 47.99 € eBooks > Fachthemen & W… Mehr…
2013, ISBN: 9783642381973
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic-Based Program Synthesis and Transformation
EAN (ISBN-13): 9783642381973
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-14T15:59:02+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-04-18T10:56:23+02:00 (Vienna)
ISBN/EAN: 9783642381973
ISBN - alternative Schreibweisen:
978-3-642-38197-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: bergmann
Titel des Buches: synthesis
Daten vom Verlag:
Autor/in: Elvira Albert
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Logic-Based Program Synthesis and Transformation - 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Verlag: Springer; Springer Berlin
245 Seiten
Erscheinungsjahr: 2013-04-17
Berlin; Heidelberg; DE
Sprache: Englisch
48,14 € (DE)
49,50 € (AT)
61,50 CHF (CH)
Available
X, 245 p. 36 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; answer set programming; constraint logic programming; declarative debugging; security type system; software testing; 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
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.High quality selected papers Unique visibility State of the art research
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...