Logic-Based Program Synthesis and Transformation - ein Angebot gefunden
Bester Preis: Fr. 2.05 (€ 2.10)¹ (vom 01.04.2020)Aus dem Archiv:
1
Logic-Based Program Synthesis and Transformation (2019)
~EN NW EB DL
ISBN: 9783030452605 bzw. 3030452603, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
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 Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation. eBook.
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 Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation. eBook.
Kategorie: Books > Computer Science
Daten vom 01.04.2020 23:32h
ISBN (andere Schreibweisen): 3-030-45260-3, 978-3-030-45260-5
Daten vom 01.04.2020 23:32h
ISBN (andere Schreibweisen): 3-030-45260-3, 978-3-030-45260-5
Zuerst gefunden: 01.04.2020 23:32:09
Zuletzt gefunden: 01.04.2020 23:32:09
Kleinster Preis: Fr. 2.05 (€ 2.10)¹ (vom 01.04.2020 23:32:09)
Höchster Preis: Fr. 53.67 (€ 54.88)¹ (vom 01.04.2020 23:32:09)
Fundstellen insgesamt: 7
Zuletzt gefunden: 01.04.2020 23:32:09
Kleinster Preis: Fr. 2.05 (€ 2.10)¹ (vom 01.04.2020 23:32:09)
Höchster Preis: Fr. 53.67 (€ 54.88)¹ (vom 01.04.2020 23:32:09)
Fundstellen insgesamt: 7
Momentan keine Suchergebnisse - vielleicht bald lieferbar
Ihre Suche nach ist bei mehr als 100 angebundenen Webshops momentan nicht lieferbar. Wir finden dieses Buch aber trotzdem innerhalb weniger Wochen.
Sie Suchen nach diesem Buch:
Maurizio Gabbrielli: Logic-Based Program Synthesis and Transformation
ISBN: 9783030452605
Speichern Sie diese Suche kostenlos in ab, dann werden Sie automatisch benachrichtigt, sobald dieses Buch verfügbar ist. Meistens finden wir dieses Buch innerhalb weniger Wochen und verständigen Sie dann per E-Mail. Sie können dann frei entscheiden, ob Sie das Buch kaufen wollen oder nicht.
Unsere Suchtipps für Ihre Suche:
- Alle Bücher des Autors.: Suche nach "Autor: gabbrielli maurizio" liefert mehr Ergebnisse
- Suchen nach Suchbegriffen wie Autor oder Titel des Buches sind erfolgreicher als solche nach der ISBN.: Suche nach "transformation synthesis program gabbrielli maurizio" liefert mehr Ergebnisse
Sie haben jetzt folgende Möglichkeiten:
- Speichern Sie diese Seite in Ihren Lesezeichen oder Favoriten ab, dann können Sie jederzeit die Suche erneut ausführen.
- Das Buch ist tatsächlich derzeit vergriffen bzw. nicht lieferbar. Es ist z.B. eine Rarität. Möglicherweise ist es aber in einiger Zeit lieferbar. Speichern Sie dazu diese Suche kostenlos ab oder lassen Sie sich kostenlos auf dieses Gerät benachrichten und Sie werden automatisch per E-Mail oder Nachricht informiert, sobald dieses Buch wieder lieferbar wird. Wir sind zuversichtlich, dass wir jedes Buch auf diese Weise innerhalb relativ kurzer Zeit finden. Probieren Sie es einfach aus!
Mich bei neuen Ergebnissen benachrichtigenSuche jetzt kostenlos SpeichernIn 50 Millionen auch bereits vergriffenen Büchern recherchieren!
Lade…