PakCat catalogue record

Dynamic logic

By Harel, David

Bibliographic details

ISBN
9788120331716
Publisher
MIT Press
Publication place
New Delhi
Publication year
2000
Edition
1
Language
English
Material type
Book
Physical description
xv, 459 p.

Additional authors

Kozen, Dexter Tiuryn, Jerzy.

Subjects

Computer logic., Formal methods (Computer science)

Related catalogue records

The science of computing Harel, David The science of computing Harel, david Algorithmics Harel, David Algorithmics Harel, David Fundamentals of software engineering Mason, Helen Handbook of practical logic and automated reasoning Harrison, J. Logical foundations for cognitive agents: contributions in honor of Ray Reiter Levesque, Hector J. Language and automata theory and applications edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira