Algebraic methodology and software technology proceedings of the ...held May 20 - 27, 2000
Saved in:
Corporate Author: | International Conference |
---|---|
Other Authors: | Rus, Teodor |
Format: | Book |
Published: |
Berlin
Springer
2000
|
Series: | Lecture notes in computer science
v. 1816 |
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Algebraic methodology and software technology (AMAST '91) proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
Published: (1992) -
Foundations of software technology and theoretical computer science proceedings of the ...held December 13 - 15, 1999
Published: (1999) -
New trends in software methodologies, tools and techniques proceedings of Lyee-W02
Published: (2002) -
Specification of abstract data types
by: Loeckx, Jacques 1931-
Published: (1996) -
Abstract data types their specification, representation, and use
by: Thomas, Pete Peter G
Published: (1988)