Your search returned 2 results.

Results
	1.	Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings / edited by Franck Cassez, Jean-François Raskin. by Cassez, Franck [edt] Raskin, Jean-François [edt] Series: Lecture Notes in Computer Science ; 8837 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2.	Principles of Systems Design [electronic resource] : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday / edited by Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar. by Raskin, Jean-François [editor.] Chatterjee, Krishnendu [editor.] Doyen, Laurent [editor.] Majumdar, Rupak [editor.] Series: Lecture Notes in Computer Science ; 13660 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists

Refine your search