Your search returned 3 results.

Results
1.	Image from Amazon.com Image from Coce	Guide to Software Verification with Frama-C by Nikolai Kosmatov Julien Signoles Virgile Prevosto Series: Computer Science Foundations and Applied Logic Edition: 2024 Material type: Text Publication details: Heidelberg, Germany Springer Nature 2024 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2.	Image from Amazon.com Image from Coce	Structural Decision Diagrams in Digital Test by Raimund Ubar Artur Jutman Jaan Raik Maksim Jenihhin Series: Computer Science Foundations and Applied Logic Edition: 1st ed. 2024 Material type: Text Publication details: Heidelberg, Germany Springer Nature 2024 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
3.	Image from Amazon.com Image from Coce	Petri Net Primer by Eike Best Raymond Devillers Series: Computer Science Foundations and Applied Logic Edition: 1st ed. 2024 Material type: Text Publication details: Heidelberg, Germany Springer Nature 2024 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).