Your search returned 6 results.

Results
	1.	Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers / by Lal, Akash [editor.] Tonetta, Stefano [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13800 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / by Chamberlain, Roger [editor.] Taha, Walid [editor.] Törngren, Martin [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11267 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Functional and Constraint Logic Programming [electronic resource] : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / by Hanus, Michael [editor.] Sacerdoti Coen, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12560 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Correct Hardware Design and Verification Methods [electronic resource] : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings / by Pierre, Laurence [editor.] Kropf, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1703 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Interactive Systems: Design, Specification, and Verification [electronic resource] : 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers / by Johnson, Chris J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2220 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / by Margaria, Tiziana [editor.] Melham, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2144 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in