Autorenfreundlich Bücher kaufen?!
Beschreibung
This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS '96, held in Hyderabad, India, in December 1996.
The volume presents 28 revised full papers selected from a total of 98 submissions; also included are four invited contributions. The papers are organized in topical sections on computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.
The volume presents 28 revised full papers selected from a total of 98 submissions; also included are four invited contributions. The papers are organized in topical sections on computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.
16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 27. November 1996 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 616 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540620341 |
| Seiten | 395 |
Schlagwörter
Herstellerinformationen
Bekannt durch
