Ashutosh Trivedi – författare
Visar alla böcker från författaren Ashutosh Trivedi. Handla med fri frakt och snabb leverans.
4 produkter
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
Av Krishna Shankaranarayanan, Sriram Sankaranarayanan m. fl.
Häftad, 2025
736 kr
Lägg i varukorg
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full …
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
Av Ashutosh Trivedi, Sriram Sankaranarayanan m. fl.
E-bok, 2025
903 kr
Lägg i varukorg
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025. The 20 full papers together with 2 accepted tool papers and 18 full …
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
Av Krishna Shankaranarayanan, Sriram Sankaranarayanan m. fl.
Häftad, 2025
736 kr
Lägg i varukorg
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full …
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
Av Ashutosh Trivedi, Sriram Sankaranarayanan m. fl.
E-bok, 2025
903 kr
Lägg i varukorg
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025. The 20 full papers together with 2 accepted tool papers and 18 full …
