Kategooriad
Eesti
Raamatupoed
Outlet
Sündmused
Sisene
Registreeru
Kategooriad
Raamatud
Audioraamatud
E-raamatud
Mängud
Kool ja kontor
Kingitused
Muusika ja filmid
Tehnika
Allahindlused
Kohaletoimetamine on tasuta!
Dynamic Logic
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.
Toode on otsas
Lisa lemmikutesse
Teavita, kui saadaval
Support