Programming with higher-order logic /
- Autor:
- Miller, Dale A. (1956- ).
- Hasło dodatkowe:
- Nadathur, Gopalan.
- Hasło dodatkowe:
- Cambridge University Press.
- Odpowiedzialność:
- Dale Miller, Gopalan Nadathur.
- Miejsce:
- New York :
- Wydany przez :
- Cambridge University Press,
- w roku:
- 2012.
- Opis fizyczny:
- XIII, 306 s. : il. ; 24 cm.
- Uwagi:
-
Bibliogr. s. 289-299. Indeks.
- ISBN:
- 978-0-521-87940-8
- UKD:
- 004.047=111
Dostępne pozycje
| Egzemplarz | ||||||
|---|---|---|---|---|---|---|
| miejsce | numer inwentarzowy | sygnatura | status | data zwrotu | akcje | |
| T T.17829 krótkoterminowe | T.17829 |
Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.17829 |
krótkoterminowe | Zamów | ||