Temporal Logics in Computer Science. Finite-State Systems

Par : Stéphane Demri, Valentin Goranko, Martin Lange
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay indisponible
    • Retrait Click and Collect en magasin gratuit
  • 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