Dynamic logic
Auteur :
Harel, David / Kozen, Dexter / Tiuryn, Jerzy
Éditeur :
MIT Press Ltd
ISBN :
9780262527668
Date de publication :
29 sept. 2000
Dimensions :
22,9 x 17,8 x 3,0 cm
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA
This book provides the first comprehensive introduction to Dynamic Logic.