Specification and proof in real-time CSP /
- Autor:
- Davies, Jim.
- Hasło dodatkowe:
- Cambridge University Press.
- Odpowiedzialność:
- Jim Davies.
- Wydanie:
- 1st paperback ed.
- Miejsce:
- New York :
- Wydany przez :
- Cambridge University Press,
- w roku:
- 2011.
- Opis fizyczny:
- XVII, 180 s. : il. ; 25 cm.
- Seria:
-
(Distinguished Dissertations in Computer Science )
(Distinguished Dissertations in Computer Science ) - Uwagi:
-
Druk cyfrowy.
Bibliogr. s. [175]-180.
Repr., oryg.: 1993.
- ISBN:
- 978-0-521-45055-3
- UKD:
- 004.62:004.4:004.732:007.3:004.057.4]=111
Dostępne pozycje
| Egzemplarz | ||||||
|---|---|---|---|---|---|---|
| miejsce | numer inwentarzowy | sygnatura | status | data zwrotu | akcje | |
| T T.16757 krótkoterminowe | T.16757 |
Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.16757 |
krótkoterminowe | Zamów | ||