Produktnummer:
18e2da5f67d8dd4453aac01827493bc6c1
| Themengebiete: | Conditional Equations Diskrete Strukturen Logics and Formal languages Logik und Formale Sprachen Programmiersysteme Programming Systems Specification Techniques Spezifikationstechniken Topologie algorithm |
|---|---|
| Veröffentlichungsdatum: | 19.02.1992 |
| EAN: | 9783540552512 |
| Sprache: | Englisch |
| Seitenzahl: | 491 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Raoult, Jean-Claude |
| Verlag: | Springer Berlin |
| Untertitel: | 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings |
Produktinformationen "CAAP '92"
This volume contains selected papers presented at the seventeenth Colloquiumon Trees in Algebra and Programming (CAAP) held jointly with the European Symposium on Programming (ESOP) in Rennes, France, February 26-28, 1992 (the proceedings of ESOP appear in LNCS 582). The previous colloquia were held in France, Italy, Germany, Spain, Denmark and England. Every even year, as in 1992, CAAP is held jointly with ESOP; every other year, it is part of TAPSOFT (Theory And Practice of SOFTware development). In the beginning, CAAP was devoted to algebraic and combinatorial properties of trees and their role in various fields of computer science. The scope of CAAP has now been extended to other discrete structures, like graphs, equations and transformations of graphs, and their links with logical theories. The programme committee received 40 submissions, from which 19 papers have been selected for inclusion inthis volume.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen