Logic for applications / Anil Nerode and Richard A. Shore
Materialtyp: TextSerie: Graduate texts in computer science. 99-1232373-4 Utgivningsinformation: New York Springer 1997Utgåva: 2. edBeskrivning: 456 sISBN:- 0387948937
- 005.1015113 23/swe
- Pubb
- Dca
- Pubb
- 005.1
- Dca
Exemplartyp | Aktuellt bibliotek | Hyllsignatur | Status | Förfallodatum | Streckkod | Exemplarreservationer | |
---|---|---|---|---|---|---|---|
Bok (Hemlån) | Campus Karlskrona | 005.1 | Tillgänglig | 40000009429 |
Antal reservationer: 0
Includes bibliographical references and index
S. 409-438: Bibl