
Temporal Logics in Computer Science. Finite-State Systems
Par : , ,Formats :
- 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