Your search returned 3 results.

Not what you expected? Check for suggestions
BOOKS
Applications of Formal Methods

by Hinchey, Michael G. Ed | Bowen, Jonathan P. Ed.

Series: Prentice Hall International Series in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: UK ; Prentice Hall ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 2 Call number: 681.3 HIN.

BOOKS
Foundations of component-based systems

by Leavens, Gary T | Sitaraman, Murali., Eds.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 8 Call number: 681.3 LEA.

BOOKS
Proceedings of International Conference on Application of Concurrency to System Design March 23-26, 1998, Fukushima, Japan

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Los Alamitos, CA IEEE Computer Society Press 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 4 Call number: 681.3 IEEE.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha