
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... Notes in Computer Science, 2755, Band 2755)
Kurzinformation



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

Beschreibung
Das Buch "Recent Trends in Algebraic Development Techniques" fasst die Beiträge und Ergebnisse des 16. Internationalen Workshops WADT 2002 zusammen, der in Frauenchiemsee, Deutschland, stattfand. Es gehört zur Reihe "Lecture Notes in Computer Science" und ist Band 2755 dieser Serie. Der Workshop konzentrierte sich auf aktuelle Entwicklungen und Forschungsergebnisse im Bereich der algebraischen Entwicklungstechniken, die für die formale Spezifikation und das Design von Softwaresystemen eingesetzt werden. Die Themen umfassen unter anderem algebraische Spezifikationen, formale Verifikationen, Modellierungstechniken sowie Anwendungen dieser Methoden in verschiedenen Bereichen der Informatik. Die Beiträge wurden nach dem Workshop überarbeitet und bieten einen umfassenden Überblick über den Stand der Forschung und neue Ansätze in diesem Fachgebiet.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Kartoniert
- 551 Seiten
- Erschienen 1996
- Springer
- paperback
- 500 Seiten
- Erschienen 2008
- Springer
- Kartoniert
- 736 Seiten
- Erschienen 2007
- Springer
- Kartoniert
- 375 Seiten
- Erschienen 2018
- Springer
- hardcover
- 253 Seiten
- Erschienen 1994
- Vieweg+Teubner Verlag
- hardcover
- 608 Seiten
- Erschienen 1992
- Springer
- Kartoniert
- 408 Seiten
- Erschienen 2003
- Springer
- paperback
- 316 Seiten
- Erschienen 1983
- Springer
- Hardcover
- 324 Seiten
- Erschienen 2002
- Springer
- paperback
- 356 Seiten
- Erschienen 2008
- Springer
- Kartoniert
- 813 Seiten
- Erschienen 2011
- Springer
- hardcover
- 536 Seiten
- Erschienen 1992
- Springer
- Gebunden
- 732 Seiten
- Erschienen 2011
- Springer
- Kartoniert
- 729 Seiten
- Erschienen 2006
- Springer Berlin Heidelberg
- hardcover
- 404 Seiten
- Erschienen 1994
- Springer