Recent Trends in Algebraic Development Techniques
Subtitle: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers (Lecture Notes in Computer Science)
Contributors: Didier Bert (Editor); Christine Choppy (Editor); Peter Mosses (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 13, 2000
Language: eng
Format: Paperback
Number of pages: 476
ISBN-13: 9783540678984
Subjects: Compilers & interpreters; Programming languages; Software engineering; Computer Mathematics; Software Development; Computers; Computers - Languages / Programming; Science/Mathematics; General; Programming - Software Development; Programming Languages - General; Abstract Data Types; Algebraic Program Development; Algebraic Systems Specification; Computers / Programming / General; Formal Methods; Formal Specification; Abstract data types (Computer science); Computer Science; Computer software; Congresses; Development; Mathematics