Software Engineering with OBJ - Algebraic Specification in Action (ADVANCES IN FORMAL METHODS Volume 2) (Advances in Formal Methods)
Contributors: Joseph A. Goguen (Editor); Grant Malcolm (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 1, 2000
Language: eng
Format: Hardcover
Number of pages: 444
ISBN-13: 9780792377573
Subjects: Computer Programming; Programming - Object Oriented Programming; Functional programming languages; Programming Languages - General; Functional Programming; Computers; Computers - Languages / Programming; Programming - General; Computer Books: General; Object oriented programming (Computer science); General; Computers / Computer Science; Computers / Programming Languages / General; Medical : General; Software Engineering; Programming - Software Development; Functional programming languag; Object oriented programming (C