IMSc Library catalog › Results of search for 'su:"Formal Methods"'

Your search returned 5 results.

Not what you expected? Check for suggestions

			VDM '90 - VDM and Z-Formal Methods in Software Development Proceedings, 3rd International Symp. Kiel, FRG, 1990 by Bjorner, D. Ed \| Hoare, C A R. Ed \| Langmaack, H. Ed. Series: Lecture notes in computer science ; 00428Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Methods and Performance Analysis : First Summer School, Netherlands, 2000 by Brinksma, Ed \| Hermanns, Holger. Ed \| Katoen, Joost-Pieter. Ed. Series: Lecture notes in computer science ; 02090Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Dynamic logic by Harel, David \| Kozen, Dexter \| Touryn, Jerzy. Series: Foundations of ComputingMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT Press ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HAR. Place hold Log in to add tags
			Duration calculus formal approach to real-time systems by Zhou, Chaochen \| Hansen, Michael R. Series: EATCS monographs on theoretical computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 CHA. Place hold Log in to add tags
			FM'99--formal methods: World Congress on Formal Methods in the Development of Computing Systems France, September, 1999 : proceedings by Wing, Jeannette M \| Woodcock, Jim \| Davies, Jim Eds. Series: Lecture notes in computer science ; 01708Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha