Algebraic System Specification and Development
Subtitle: A Survey and Annotated Bibliography (Lecture Notes in Computer Science)
Contributors: Michel Bidoit (Editor); Hans-Jörg Kreowski (Editor); Pierre Lescanne (Editor); Fernando Orejas (Editor); Donald Sannella (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 5, 1991
Language: eng
Format: Paperback
Number of pages: 98
ISBN-13: 9783540540601
Subjects: Algebra; Applied mathematics; Reference works; Software engineering; Programming - Systems Analysis & Design; Computers - Languages / Programming; Networking - General; Computers / Networking / General; System design