Algebraic Foundations of Systems Specification (Ifip State-of-the-Art Reports)
Contributors: E. Astesiano (Editor); H. J. Kreowski (Editor); B. Brieg-Bruckner (Editor); B. Krieg-Bruckner (Editor)
Publisher: Springer
Published: November 1999
Language: eng
Format: Hardcover
Number of pages: 615
ISBN-13: 9783540637721
Subjects: Programming languages; Software Engineering; Systems analysis & design; Science/Mathematics; Formal Language Theory; System design; Computers; Computers - General Information; Programming - Systems Analysis & Design; Programming - Software Development; Formal methods (Computer scien; Computer Science; Formal methods (Computer science)