Logic for applications /

by Nerode, Anil
Additional authors: Shore, Richard A
Series: Graduate texts in computer science 99-1232373-4 Edition statement:2. ed Published by : Springer (New York) Physical details: 456 s. ISBN:0387948937. Year: 1997
    Average rating: 0.0 (0 votes)
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