Verwandte Artikel zu Logic-Based Program Synthesis and Transformation: 16th...
Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006 Venice, Italy, July 12-14, 2006 Revised Selected Papers: 4407 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 56,98
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Logic-Based Program Synthesis and Transformation: 16th...
Foto des Verkäufers
Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Verlag:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 354071409X
ISBN 13: 9783540714095
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis. Artikel-Nr. 9783540714095
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4407)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540714095_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 252 Illus. Artikel-Nr. 7546178
Anzahl: 1 verfügbar