Бесплатная доставка!
Dynamic Logic
Автор
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.
Бесплатная доставка!
