- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 70,23, Mittelwert: € 63,36
1
Bestellen
bei lehmanns.de
€ 70,23
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Fabio Fioravanti; John P. Gallagher:

Logic-Based Program Synthesis and Transformation - neues Buch

2018, ISBN: 9783319944609

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers, eBooks, eBook Download (EPUB), This book constitutes the thoroughly refereed post-… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
2
Logic-Based Program Synthesis and Transformation - Fabio Fioravanti; John P. Gallagher
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Fabio Fioravanti; John P. Gallagher:

Logic-Based Program Synthesis and Transformation - neues Buch

2017, ISBN: 9783319944609

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

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
zuklappen (X)
3
Logic-Based Program Synthesis and Transformation - Fabio Fioravanti, John P. Gallagher
Bestellen
bei kobo.com
€ 54,11
Bestellen
Details und Versand
gesponserter Link
Fabio Fioravanti, John P. Gallagher:
Logic-Based Program Synthesis and Transformation - neues Buch

2017

ISBN: 9783319944609

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

Versandkosten:Zzgl. Versandkosten., zzgl. Versandkosten
zuklappen (X)
4
Logic-Based Program Synthesis and Transformation
Bestellen
bei Hugendubel.de
€ 69,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic-Based Program Synthesis and Transformation - neues Buch

2017, ISBN: 9783319944609

Logic-Based Program Synthesis and Transformation ab 69.49 € als pdf eBook: 27th International Symposium LOPSTR 2017 Namur Belgium October 10-12 2017 Revised Selected Papers. Aus dem Berei… Mehr…

Nr. 33568568. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
5
Logic-Based Program Synthesis and Transformation
Bestellen
bei eBook.de
€ 69,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic-Based Program Synthesis and Transformation - neues Buch

2017, ISBN: 9783319944609

Logic-Based Program Synthesis and Transformation - 27th International Symposium LOPSTR 2017 Namur Belgium October 10-12 2017 Revised Selected Papers: ab 69.49 € eBooks > Fachthemen & Wiss… Mehr…

Versandkosten:in stock, , , 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:

9783319944609

Detailangaben zum Buch - Logic-Based Program Synthesis and Transformation


EAN (ISBN-13): 9783319944609
Erscheinungsjahr: 2018
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2018-10-23T12:29:55+02:00 (Vienna)
Detailseite zuletzt geändert am 2022-07-01T11:03:05+02:00 (Vienna)
ISBN/EAN: 9783319944609

ISBN - alternative Schreibweisen:
978-3-319-94460-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gallagher
Titel des Buches: synthesis, logic pro

Daten vom Verlag:

Autor/in: Fabio Fioravanti; John P. Gallagher
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Verlag: Springer; Springer International Publishing
341 Seiten
Erscheinungsjahr: 2018-07-09
Cham; CH
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVI, 341 p. 59 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; artificial intelligence; codes; computer architecture; constraint programming; deadlock; formal logic; formal methods; logic programming; model checking; program compilers; programming languages; semantics; software engineering; software evaluation; symbols; theorem proving; verification; C; Computer Science Logic and Foundations of Programming; Software Engineering; Compilers and Interpreters; Programming Techniques; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science; Software Engineering; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; BC

Analysis.- Program development.- Term rewriting and CHR.- Theory.- Verification.
< zum Archiv...