Ondřej Lengál – författare

Visar alla böcker från författaren Ondřej Lengál.

1 produkter

1. 

   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

   1089 kr

   Lägg i varukorg