Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data (Lecture Notes in Computer Science)

by D. Sannella Paperback details (USA). ISBN: 978-0-387-50325-7 ISBN-10: 0-387-50325-0 Springer Verlag · 1988