CASL User Manual: Introduction to Using the Common Algebraic Specification Language: 2900 (Lecture Notes in Computer Science, 2900)

More Information

Format: Paperback
Pages: 260
Edition: 2004
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 354020766X
ISBN 13: 9783540207665