Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
8 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 | 2016 | 2020 |
|---|---|---|---|---|---|
| Schnitt | € 60,84 | € 78,82 | € 80,53 | € 54,75 | € 71,49 |
| Nachfrage |
1
Symbolbild
Logic-Based Program Synthesis and Transformation (2009)
DE PB NWISBN: 9783642005145 bzw. 3642005144, in Deutsch, Springer-Verlag Gmbh Feb 2009, Taschenbuch, neu.
Von Händler/Antiquariat, Buchhandlung - Bides GbR [52676528], Dresden, Germany.
Neuware - This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 2008) held during July 17 18, 2008 in Valencia, Spain. Information about the conference can be found at mh/ lopstr08. Previous LOPSTR symposia were held in Lyngby (2007), Venice (2006 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992, and 1991), Leuven (1997), Stockholm (1996), Arnhem (1995), Pisa (1994), and Louvain-la-Neuve (1993). The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR t- ditionally solicits papers in the areas of speci cation, synthesis, veri cation, transformation,analysis,optimization,composition,security,reuse,applications andtools,component-basedsoftwaredevelopment,softwarearchitectures,age- basedsoftwaredevelopment,andprogramre nement.LOPSTRhasareputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate feedback in the published papers. I would like to thank all those who submitted contributions to LOPSTR in the categories of full papers and extended abstracts. Each submission was reviewedbyatleastthreeProgramCommitteemembers.Thecommitteedecided to accept three full papers for immediate inclusion in the nal post-conference proceedings, and nine papers were accepted after revision and another round of reviewing. In addition to the accepted papers, the program also included an invited talk by Peter O Hearn (University of London). 185 pp. Englisch.
Neuware - This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 2008) held during July 17 18, 2008 in Valencia, Spain. Information about the conference can be found at mh/ lopstr08. Previous LOPSTR symposia were held in Lyngby (2007), Venice (2006 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992, and 1991), Leuven (1997), Stockholm (1996), Arnhem (1995), Pisa (1994), and Louvain-la-Neuve (1993). The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR t- ditionally solicits papers in the areas of speci cation, synthesis, veri cation, transformation,analysis,optimization,composition,security,reuse,applications andtools,component-basedsoftwaredevelopment,softwarearchitectures,age- basedsoftwaredevelopment,andprogramre nement.LOPSTRhasareputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate feedback in the published papers. I would like to thank all those who submitted contributions to LOPSTR in the categories of full papers and extended abstracts. Each submission was reviewedbyatleastthreeProgramCommitteemembers.Thecommitteedecided to accept three full papers for immediate inclusion in the nal post-conference proceedings, and nine papers were accepted after revision and another round of reviewing. In addition to the accepted papers, the program also included an invited talk by Peter O Hearn (University of London). 185 pp. Englisch.
2
Logic-Based Program Synthesis and Transformation (2009)
~EN PB NWISBN: 3642005144 bzw. 9783642005145, vermutlich in Englisch, Springer-Verlag GmbH, Taschenbuch, neu.
Logic-Based Program Synthesis and Transformation ab 74.99 € als Taschenbuch: 18th International Symposium LOPSTR 2008 Valencia Spain July 17-18 2008 Revised Selected Papers Lecture Notes in Computer Science Theoretical Computer Science and General Issues. Auflage 2009. Aus dem Bereich: Bücher, English, International, Gebundene Ausgaben,.
3
Logic-Based Program Synthesis and Transformation (2009)
~EN NWISBN: 3642005144 bzw. 9783642005145, vermutlich in Englisch, Springer, Berlin/Heidelberg/New York, NY, Deutschland, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Logic-Based Program Synthesis and Transformation (2009)
~EN PB NWISBN: 9783642005145 bzw. 3642005144, vermutlich in Englisch, Springer, Berlin/Heidelberg/New York, NY, Deutschland, Taschenbuch, neu.
Lieferung aus: Deutschland, Next Day, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Lecture Notes in Computer Science) (2010)
EN PB USISBN: 9783642005145 bzw. 3642005144, in Englisch, 185 Seiten, 2009. Ausgabe, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, hippo_books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, hippo_books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Lecture Notes in Computer Science) (2010)
EN PB NWISBN: 9783642005145 bzw. 3642005144, in Englisch, 185 Seiten, 2009. Ausgabe, Springer, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, DelhiBookStore.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, DelhiBookStore.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (2009)
~EN NWISBN: 3642005144 bzw. 9783642005145, vermutlich in Englisch, Springer-Verlag GmbH; Springer Berlin, neu.
Von Händler/Antiquariat, MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…