Amazon cover image
Image from Amazon.com

Logic for applications / Anil Nerode and Richard A. Shore

By: Contributor(s): Material type: TextTextSeries: Graduate texts in computer science. 99-1232373-4 Publication details: New York Springer 1997Edition: 2. edDescription: 456 sISBN:
  • 0387948937
Subject(s): DDC classification:
  • 005.1015113 23/swe
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 Item holds
Book (loan) Campus Karlskrona 005.1 Available 40000009429
Total holds: 0

Includes bibliographical references and index

S. 409-438: Bibl

Address: Library, Blekinge Tekniska Högskola, 371 79 Karlskrona
Telephone: 0455 - 38 51 01
E-mail: biblioteket@bth.se
Responsible for page: Library