Koszyk
towar
(pusty)
Kontakt
Konto
Invited Papers.- Temporal Logics.- Distributed Timed Systems.- Behavioral Equivalences.- Timed Words.- Continuous Dynamical Systems.
przeczytaj całość
Invited Papers.- Temporal Logics.- Distributed Timed Systems.- Behavioral Equivalences.- Timed Words.- Continuous Dynamical Systems.
ukryj opis
- Wydawnictwo: Springer, Berlin
- Kod:
- Rok wydania: 2018
- Język: Angielski
- Oprawa: Broszurowa/paperback
- Liczba stron: 350
- Szerokość opakowania: 15.5 cm
- Wysokość opakowania: 23.5 cm
- Głębokość opakowania: 1.7 cm
- Waga: 458 g
Recenzja