![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)](https://d3k2uuz9r025mk.cloudfront.net/media/image/bd/0c/35/1722683124_178120134505_600x600.jpg)
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)
Kurzinformation
![Natural](https://shop.studibuch.de/media/image/c4/23/50/Buch-Vorteil.png)
![Coins](https://shop.studibuch.de/media/image/74/b1/94/Lieferung-Vorteil.png)
![Check](https://shop.studibuch.de/media/image/a1/0b/2c/Muenzen-Vorteil.png)
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
![Zahlungsarten](/media/image/d6/9c/c0/Payments.png)
Beschreibung
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.
Produktdetails
![](https://stb-media.cstatic.io/media/image/b1/82/59/handgeprueftSiegel.png)
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- hardcover -
- Erschienen 1991
- VCH