Temporal Logics in Computer Science. Finite-State SystemsStéphane Demri, Valentin Goranko, Martin LangeGrand Format110,40 €
