PORTO-
FREI

Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

Buch (Kartoniert)

EUR 53,49

Alle Preisangaben inkl. MwSt.

Auch verfügbar als:

  Verlagsbedingte Lieferzeit ca. 3 - 6 Werktage.
(Print on Demand. Lieferbar innerhalb von 3 bis 6 Tagen)

Versandkostenfrei*

Dieser Artikel kann nicht bestellt werden.
 

Produktbeschreibung

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. 

Inhaltsverzeichnis

Semantics of Logic Languages.-ÿEcient compilation of functional logic programs.-ÿTypes and security.-ÿOptimization.-ÿStatic analysis.-ÿAutomated Verication.-ÿProgram debugging and slicing.-ÿSmart Environments.-ÿProgram Transformation.-ÿConstraint Solving and Programming.ÿ 

Mehr vom Verlag:

k.A.

Mehr aus der Reihe:

Produktdetails

Medium: Buch
Format: Kartoniert
Seiten: 404
Sprache: Englisch
Erschienen: Dezember 2015
Auflage: 1st edition 2015
Sonstiges: .978-3-319-27435-5
Maße: 235 x 155 mm
Gewicht: 610 g
ISBN-10: 331927435X
ISBN-13: 9783319274355

Bestell-Nr.: 16986280 
Libri-Verkaufsrang (LVR):
Libri-Relevanz: 0 (max 9.999)
 

Ist ein Paket? 0
Rohertrag: 11,50 €
Porto: 2,75 €
Deckungsbeitrag: 8,75 €

LIBRI: 2427258
LIBRI-EK*: 38.49 € (23%)
LIBRI-VK: 53,49 €
Libri-STOCK: 0
LIBRI: 097 Print on Demand. Lieferbar innerhalb von 7 bis 10 Tagen * EK = ohne MwSt.
P_SALEALLOWED: WORLD
DRM: 0
0 = Kein Kopierschutz
1 = PDF Wasserzeichen
2 = DRM Adobe
3 = DRM WMA (Windows Media Audio)
4 = MP3 Wasserzeichen
6 = EPUB Wasserzeichen

UVP: 2 
Warengruppe: 16320 

KNO: 54753496
KNO-EK*: 37.76 € (25%)
KNO-VK: 53,49 €
KNO-STOCK: 0
KNO-MS: 97

KNO-SAMMLUNG: Theoretical Computer Science and General Issues 9527
P_ABB: Bibliographie
KNOABBVERMERK: 1st ed. 2015. 2015. xvii, 385 S. XVII, 385 p. 88 illus. in color. 235 mm
KNOSONSTTEXT: .978-3-319-27435-5
KNOMITARBEITER: Herausgegeben von Falaschi, Moreno
Einband: Kartoniert
Auflage: 1st edition 2015
Sprache: Englisch
Beilage(n): Paperback

Im Themenkatalog stöbern

› Start › Bücher

Entdecken Sie mehr

Alle Preise inkl. MwSt. , innerhalb Deutschlands liefern wir immer versandkostenfrei . Informationen zum Versand ins Ausland .

Kostenloser Versand *

innerhalb eines Werktages

OHNE RISIKO

30 Tage Rückgaberecht

Käuferschutz

mit Geld-Zurück-Garantie