Eintrag weiter verarbeiten
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: | Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers/ edited by Germán Vidal |
Format: | E-Book Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
Berlin, Heidelberg
Springer
2012
|
Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 7225 |
Schlagwörter: | |
Buchausg. u.d.T.: | Logic-based program synthesis and transformation, Berlin : Springer, 2012, X, 252 S. |
Quelle: | Verbunddaten SWB |
Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |
Wird geladen...