Dynamic logic /

other_versions_link
Dettagli Bibliografici
Autore principale: Harel, David
Altri autori: Kozen, Dexter ., Tiuryn, Jerzy .
Natura: Printed Book
Lingua:English
Pubblicazione: New Delhi : Prentice Hall of India , 2002.
Soggetti:
Mathamatical logic

Documenti analoghi