Your search returned 2 results.

Results
	1.	Verification of Reactive Systems: Formal Methods and Algorithms by Schneider, Klaus Series: Texts in Theoretical Computer Science An EATCS Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York Springer Berlin Heidelberg 2006 Availability: Items available for reference: Institute of Technology: Not For Loan (1)Call number: 004.21 SCH. Add to cart (remove)
	2.	Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography by Hromkovic, Juraj Series: Texts in Theoretical Computer Science- An EATCS Series Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi Springer India Private Limited 2014 Availability: Items available for loan: Institute of Technology (1)Call number: 004 HRO. Place hold Add to cart (remove)

Refine your search