Theoretical Aspects of Computer Software
Subtitle: International Symposium Tacs '94, Sendai, Japan, April 19 - 22, 1994. Proceedings (Springer Series in Solid-State Sciences)
Contributors: Masami Hagiya (Editor); John C. Mitchell (Editor)
Publisher: Springer
Published: April 1994
Language: eng
Format: Paperback
Number of pages: 887
ISBN-13: 9783540578871
Subjects: Computer Software Packages; Software engineering; Logic Design; Programming - Software Development; Programming Languages - General; Computers - Languages / Programming