Dynamic Logic David Harel

By: Harel, DavidContributor(s): Tiuryn, Jerzy | Kozen, DexterMaterial type: TextTextPublication details: New Delhi Prentice Hall of India 2007Description: xi, 459pISBN: 8120331710Subject(s): Formal methods (Computer science) | Computer logicDDC classification: 004.015113 HAR
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Collection Call number Vol info Status Date due Barcode Item holds
TEXT BOOK TEXT BOOK LRC_JUIT
Computer Science & Engineering 		TEXTBOOK SECTION 004.015113 HAR (Browse shelf (Opens below)) Copy 1 Available 016469
Total holds: 0

There are no comments on this title.

to post a comment.

Library Home | Contact Us | LRC Help

Copyright @ 2020 LRC
Jaypee University of Information Technology
website hit counter

Powered by Koha