Ondřej Lengál – författare

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

1 produkt

Kategorier

1 produkt

Del 16417

Yu-Fang Chen, Thomas Jensen, Ondřej Lengál - Verification, Model Checking, and Abstract Interpretation, Häftad

Del 16417 - Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings

AvYu-Fang Chen,Thomas Jensenm. fl.

Häftad, Engelska, 2026

1 079 kr

Skickas inom 10-15 vardagar