Categories
English
Shops
Outlet
Events
Login
Join
Categories
Books
Audiobooks
E-books
Games
Stationery
Gifts
Music & Movies
Electronics
Special offers!
Shipping is free
Dynamic Logic
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.
Permanently out of stock
Add to favorites
Notify when back in stock
Support