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
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
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
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
