Dynamic Logic

This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitu...

9780262527668
Böcker > Data & IT > Datavetenskap > Datorarkitektur & logisk design