Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science, 355, Band 355)

Name: Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science, 355, Band 355)
Author: Dershowitz, Nachum

Dershowitz, Nachum

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

27,96 €

Lieferzeit 1-3 Werktage

Springer

Kurzinformation

Sprache:

Englisch

ISBN:

9783540510819

Verlag:

Springer

Seitenzahl:

598

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.

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.

Akzeptabel 27,96 €

Starke Gebrauchsspuren, Seiten und Bindung beschädigt
Knicke oder Markierungen nicht mehr als 20%
CDs und Zugangscodes können fehlen
Auflage kann abweichen

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

27,96 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Beschreibung

Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science, 355, Band 355)

Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

Dieses Buch ist eine Sammlung von wissenschaftlichen Arbeiten und Vorträgen, die auf der 3. Internationalen Konferenz für Umschreibtechniken und Anwendungen (RTA-89) in Chapel Hill, North Carolina, USA, vorgestellt wurden. Die Themen reichen von theoretischen Aspekten des Umschreibens bis hin zu praktischen Anwendungen in verschiedenen Bereichen der Informatik. Dabei wird das Umschreiben als universelles Modell für eine Vielzahl von Berechnungen und Prozessen in Computerwissenschaften betrachtet. Herausgegeben von Nachum Dershowitz bietet dieses Buch einen umfassenden Überblick über den Stand der Forschung im Bereich der Umschreibtechniken Ende der 1980er Jahre.