Amazon cover image
Image from Amazon.com

Logic for applications / Anil Nerode and Richard A. Shore

By: Nerode, AnilContributor(s): Shore, Richard AMaterial type: TextTextSeries: Graduate texts in computer science. 99-1232373-4 Publication details: New York Springer 1997 Edition: 2. edDescription: 456 sISBN: 0387948937Subject(s): Computer science -- Mathematics | Logic, Symbolic and mathematical | Databehandling Programmering Programspråk | Logik | Logik | Matematisk logik | Symbolisk logikDDC classification: 005.1015113 Other classification: Pubb | Dca | Pubb | 005.1 | Dca
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Book (loan) Gräsvik
005.1 Available 40000009429

Includes bibliographical references and index

S. 409-438: Bibl

Adress: Biblioteket, Blekinge Tekniska Högskola, 371 79 Karlskrona
Telefon: 0455 - 38 51 01
E-post: biblioteket@bth.se
Ansvarig för sidan: Biblioteket

Summon
Låneinformation
Söka artiklar och böcker
Kontakt och Öppettider
Om BTH
Behandling av personuppgifter