Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.7225 (PDF)
21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
(Sprache: Englisch)
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8...
sofort als Download lieferbar
eBook (pdf)
48.14 €
24 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.7225 (PDF)“
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 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.
Bibliographische Angaben
- 2012, 2012, 254 Seiten, Englisch
- Herausgegeben: Germán Vidal
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642322115
- ISBN-13: 9783642322112
- Erscheinungsdatum: 20.07.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 3.73 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.7225"
0 Gebrauchte Artikel zu „Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.7225“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.7225".
Kommentar verfassen