Kategooriad
Kategooriad
Kohaletoimetamine on tasuta!
Dynamic Logic
Autor
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.
