Theoretical Aspects of Computer Software
Subtitle: International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings (Lecture Notes in Computer Science)
Contributors: Takayasu Ito (Editor); Albert R. Meyer (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 24, 1991
Language: eng
Format: Paperback
Number of pages: 772
ISBN-13: 9783540544159
Subjects: Software engineering; Programming - Software Development; Computers - Languages / Programming; Programming Languages - General; Miscellaneous Software; Computers / Programming Languages / General; Konstruktive Logik; Programmiersysteme; Programming Systems; Software-Engineering; Typentheorie; constructive logic; theory of computation; type theory; wissenschaftliches Rechen; Congresses