Shipping is free
Dynamic Logic
Author
David Harel (William Sussman Professorial Chair, The Weizmann Institute Of Science)
,Jerzy Tiuryn (Warsaw University)
,Dexter Kozen
This book provides the first comprehensive introduction to Dynamic Logic.
Shipping is free
