Formal Modeling and Analysis of Timed Systems
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
Wersja papierowa
Redakcja:
Pettersson Paul
Wydawnictwo:
Springer Nature B.V.ISBN: 978-35-403-0946-8
Format: 15.6x23.4cm
Liczba stron: 320
Oprawa: Miękka
Wydanie: 2005 r.
Język: angielski
Dostępność: dostępny
219,90 zł