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

AvYu-Fang Chen,Thomas Jensen m. fl.

Häftad, Engelska, 2026

1 059 kr

Skickas inom 10-15 vardagar