Title Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.

Publication Info.

Online access
Online eBook. Access restricted to current Rider University students, faculty, and staff.
Instructions for reading/downloading this eBook

Item Status

Description	1 online resource (xv, 459 pages) : illustrations.
Physical Medium	polychrome
Description	text file
Series	Foundations of computing.
	Foundations of computing.
Bibliography	Includes bibliographical references and index.
Local Note	eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject	Computer logic.
	Computer logic.
	Formal methods (Computer science)
	Formal methods (Computer science)
Genre/Form	Electronic books.
Added Author	Kozen, Dexter, 1951-
	Tiuryn, Jerzy.
Other Form:	Print version: Harel, David, 1950- Dynamic logic. Cambridge, Mass. : MIT Press, 2000 0262082896 (DLC) 00030380 (OCoLC)43894182
ISBN	9780262274951 (electronic book)
	0262274957 (electronic book)