Logic Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.2372 (PDF)
11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
(Sprache: Englisch)
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 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.2372 (PDF)“
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.
Bibliographische Angaben
- 2003, 2002, 272 Seiten, Englisch
- Herausgegeben: Alberto Pettorossi
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540456074
- ISBN-13: 9783540456070
- Erscheinungsdatum: 03.08.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 2.88 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Logic Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.2372"
0 Gebrauchte Artikel zu „Logic Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.2372“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logic Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.2372".
Kommentar verfassen