Dynamic logic

Saved in:

Bibliographic Details
Main Author:	Harel, David 1950-
Other Authors:	Kozen, Dexter 1951-, Tiuryn, Jerzy
Format:	Unknown
Published:	Cambridge, Mass. MIT Press 2000
Series:	Foundations of computing
Subjects:	Computer logic Formal methods (Computer science)
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet