Your search returned 2 results.

Results
	1.	Dynamic logic David Harel, The Weizmann Institute, Dexter Kozen, Cornell University, Jerzy Tiuryn, University of Warsaw. by Harel, David Kozen, Dexter Tiuryn, Jerzy Series: Foundations of computing Publication details: Cambridge: The MIT Press, 2000 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.015113 H222D. Add to cart (remove)
	2.	Formal methods for industrial critical systems : a survey of applications edited by Stefania Gnesi, Instituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche. Pisa, Italy, Tiziana Margaria, University of Potsdam, Potsdam, Germany. by Gnesi, Stefania Margaria, Tiziana Publication details: Hoboken, New Jersey : John Wiley & Sons, 2013 Online resources: Publisher description Contributor biographical information Table of contents only Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.0151 G53F. Add to cart (remove)

Refine your search