Algebraic Methodology and Software Technology: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: June 1995
Language: eng
Format: Paperback
Number of pages: 591
ISBN-13: 9783540600435
Subjects: Applied mathematics; Mathematical theory of computation; Software Engineering; Programming - Software Development; Computers; Computer Mathematics; Science/Mathematics; Computers - Languages / Programming; Logic Design; Computer Books: General; Logic; Programming - Systems Analysis & Design; Abstract data types (Computer; Abstract data types (Computer science); Congresses