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)

Name: 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)
Price: 40.04 EUR
Availability: InStock
Author: Pattinson, Dirk
ISBN: 9783540205371

Pattinson, Dirk

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

40,04 €

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Englisch

ISBN:

9783540205371

Verlag:

Springer

Seitenzahl:

472

Auflage:

Erschienen:

2008-06-13

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Gut 40,04 €

Sauberer Zustand, Seiten und Bindung etwas abgenutzt
Knicke oder Markierungen nicht mehr als 5%
CDs und Zugangscodes verwendbar

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Neu bei

bestellen

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

40,04 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Beschreibung

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)

Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

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.