Drucken
Versenden
Speichern
Permalink
LesezeichendiensteNichts oder nicht das Richtige gefunden?
- Frage an die Bibliothek
- Fernleih-Formular aufrufen (leeres Formular, Anmeldung erforderlich)
Katalog der UB Augsburg (1/1)
Recent Trends in Algebraic Development Techniques
19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers Autor/Mitarbeiter: Corradini, Andrea
Verlagsort, Verlag, Jahr: Berlin [u.a.], Springer, 2009
Umfang: 1 Online-Ressource (VIII, 341 S.)
ISBN: 9783642034282 , 9783642034299
Schlagwörter: Algebraische Spezifikation
Schlagwörter: Formale Spezifikationstechnik
Inhaltstyp/Datenträger: Konferenzschrift
Reihe/Zeitschrift : Lecture notes in computer science : Alle Einzelbände
| Autor/Mitarbeiter: | Corradini, Andrea |
|---|---|
| Titel: | Recent Trends in Algebraic Development Techniques |
| Titelzusatz: | 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers |
| Erläuterung: | Verlag |
| von: | Andrea Corradini ... (eds.) |
| Verlagsort: | Berlin [u.a.] |
| Verlag: | Springer |
| Jahr: | 2009 |
| Umfang: | 1 Online-Ressource (VIII, 341 S.) |
| Enthält: |
graph. Darst. |
| Reihe: | Lecture notes in computer science |
| Band: | 5486 |
| ISBN: | 9783642034282 |
| ISBN: | 9783642034299 |
| Schlagwörter |
Algebraische Spezifikation
Formale Spezifikationstechnik
|
| Inhaltstyp/Datenträger: | Konferenzschrift |
| _Zeit / Datum: | 2008 |
| _Veranstaltungsort: | Pisa |
| RVK-Notation: | |
| Hauptsprache: | Englisch |
| Land: | |||d|| |o|||||||| |
| Volltext : | https://doi.org/10.1007/978-3-642-03429-9 |
| B3Kat-ID: | BV035770760 |
