Ondřej Lengál – författare
Visar alla böcker från författaren Ondřej Lengál. Handla med fri frakt och snabb leverans.
2 produkter
Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
Av Yu-Fang Chen, Thomas Jensen m. fl.
Häftad, 2026
836 kr
Lägg i varukorg
This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.The 18 full papers presented in the proceedings were carefully reviewed and selected …
Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
Av Ondrej Lengal, Thomas Jensen m. fl.
E-bok, 2026
1091 kr
Lägg i varukorg
This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.The 18 full papers presented in the proceedings were carefully reviewed and selected …
