CASL: the Common Algebraic Specification Language

Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Volume:

286

Year:

2002

Language:

english

Pages:

DOI:

10.1016/s0304-3975(01)00368-1

File:

PDF, 317 KB

english, 2002

Conversion to is in progress

Conversion to is failed