Image from Google Jackets

Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn

By: Contributor(s): Material type: TextTextSeries: Foundations of computingPublication details: Cambridge: MIT Press, 2000Description: xv, 459 p.: ill. ; 23 cmISBN:
  • 9788120331716
Subject(s): DDC classification:
  • 004/.01/5113 21
LOC classification:
  • QA 76.9 .H37 2000
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Copy number Status Date due Barcode
Books Books Informatics and Virtual Education Library Collection General Collection Non-fiction QA 76.9 .H37 2000 (Browse shelf(Opens below)) C.1 Available 2605
Browsing Informatics and Virtual Education Library Collection shelves, Shelving location: General Collection, Collection: Non-fiction Close shelf browser (Hides shelf browser)
QA 76.9 .H36 2001 Data mining: concepts and techniques/ QA 76.9 .H36 2001 Data mining: concepts and techniques/ QA 76.9. H36 2007 Principles of data mining/ QA 76.9 .H37 2000 Dynamic logic / QA 76.9.H46 1998 User-centered information design for improved software usability / QA76.9 H48 1996 Heterogeneous computing / QA 76.9 .H48 2004 Computer systems design and architecture /

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.
© The University of Dodoma 2020