Eintrag weiter verarbeiten
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Gespeichert in:
| Personen und Körperschaften: | , |
|---|---|
| Titel: | Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers/ edited by Narciso Martí-Oliet, Miguel Palomino |
| Format: | E-Book Konferenzbericht |
| Sprache: | Englisch |
| veröffentlicht: |
Berlin, Heidelberg
Springer
2013
|
| Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 7841 |
| Schlagwörter: | |
| Druckausg.: | Recent trends in algebraic development techniques, Berlin : Springer, 2013, X, 282 S. |
| Quelle: | Verbunddaten SWB |
| Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |