Your search returned 2 results.

Results
	1.	Concise Guide to Software Verification [electronic resource] : From Model Checking to Annotation Checking / by Marieke Huisman, Anton Wijs. by Huisman, Marieke [author.] Wijs, Anton [author.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.14. Place hold Save to lists
	2.	Modern Cryptography [electronic resource] : Applied Mathematics for Encryption and Information Security / by William Easttom. by Easttom, William [author.] Edition: 2nd ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 621.382. Place hold Save to lists

Refine your search