Bokus

Ondřej Lengál

Visar alla böcker från författaren Ondřej Lengál. Handla med fri frakt och snabb leverans.

  1. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    2026