Temporal Logics in Computer Science. Finite-State Systems

Par : Stéphane Demri, Valentin Goranko, Martin Lange
    • Nombre de pages744
    • PrésentationRelié
    • FormatGrand Format
    • Poids1.47 kg
    • Dimensions18,2 cm × 25,5 cm × 4,5 cm
    • ISBN978-1-107-02836-4
    • EAN9781107028364
    • Date de parution01/01/2016
    • CollectionCambridge Tracts in Theorical
    • ÉditeurCambridge University Press