Title: Algebraic methodology and software technology
First published: 1995
Subjects: Congresses, Software engineering, Abstract data types (Computer science), Applied mathematics, Mathematical theory of computation, 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
LC classification: QA76.758 .I5713 1995