Your search returned 5 results.

Results
1.	Image from Amazon.com Image from Coce	Tools and Algorithms for the Construction and Analysis of Systems by Bernd Finkbeiner Laura Kov�cs Series: Lecture Notes in Computer Science 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	Tools and Algorithms for the Construction and Analysis of Systems by Bernd Finkbeiner Laura Kov�cs Series: Lecture Notes in Computer Science 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).
3.	Image from Amazon.com Image from Coce	Tools and Algorithms for the Construction and Analysis of Systems by Bernd Finkbeiner Laura Kov�cs Series: Lecture Notes in Computer Science 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).
4.	Image from Amazon.com Image from Coce	Reachability Problems by Laura Kov�cs Ana Sokolova Series: Lecture Notes in Computer Science 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).
5.	Image from Amazon.com Image from Coce	Intelligent Computer Mathematics by Andrea Kohlhase Laura Kov�cs Series: Lecture Notes in Computer Science 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).