Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Algebraic Foundations of Systems Specification

by Astesiano, E. Ed | Kreowski, H J. Ed | Krieg-Bruckner, Ed.

Series: IFIP State-of-the-Art ReportsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 AST.

BOOKS
Formal Description of Programming Concepts

by Neuhold, Erich J | Paul, M. Eds.

Series: IFIP state-of-the-art reportsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 20 Call number: 681.9 NEU.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha