Theoretical Aspects of Computer Software
International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This volume gives the proceedings of TACS '91, which focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems.
Autor*in
Takayasu Ito
Themen in »Theoretical Aspects of Computer Software«
Attribut Delegation Konstruktive Logik Programmiersysteme Programming Systems Software-Engineering Typentheorie complexity design logic polymorphism programming testing theory of computation wissenschaftliches Rechen