Dynamic logic [electronic resource]

Bibliographic Details
Main Authors: Harel, David 1950- (Author), Kozen, Dexter 1951- (Author), Tiuryn, Jerzy (Author)
Corporate Author: NetLibrary, Inc
Format: Book
Language:English
Published: Cambridge, Mass MIT Press 2000
Series:Foundations of computing
Subjects:
Online Access:An electronic book accessible through the World Wide Web; click for information

Internet

An electronic book accessible through the World Wide Web; click for information

Badak Internet Collection

Holdings details from Badak Internet Collection
Call Number: QA76 9 L63 H37 2000
Accession Item Category Format Status Notes
1000125154 OPEN SHELF (30 DAYS) Electronic Resource Available