Ondřej Lengál - Böcker

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

1 produkt

Kategorier

1 produkt

Nyhet

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, Engelska, 2026

1 509 kr

Kommande