Loading...
Temporal logics in computer science : finite-state systems
| Format: | Printed Book |
|---|---|
| Language: | English |
| Published: |
Cambridge Press
2016
|
| LEADER | 00424nam a22001097a 4500 | ||
|---|---|---|---|
| 008 | 200925b ||||| |||| 00| 0 eng d | ||
| 082 | |2 23 |a 004 DEM/T | ||
| 245 | |a Temporal logics in computer science : finite-state systems | ||
| 260 | |b Cambridge Press |c 2016 | ||
| 942 | |c BK | ||
| 999 | |c 353013 |d 353013 | ||
| 952 | |0 0 |1 0 |2 ddc |4 0 |6 004_000000000000000_DEM_T |7 0 |9 408053 |a DCS |b DCS |c ST1 |d 2018-10-06 |i 1463 |l 0 |o 004 DEM/T |p DCS1463 |r 2020-09-25 |w 2020-09-25 |y REF | ||