Algebraic Methodology and Software Technology (AMAST '93) (Workshops in Computing)
Contributors: Maurice Nivat (Editor); C. Rattray (Editor); T. Rus (Editor); G. Scollo (Editor)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: December 1993
Format: Paperback
Number of pages: 430
ISBN-13: 9783540198529
Subjects: Mathematical theory of computation; Software engineering; Abstract data types (Computer; Congresses