Dynamic Logic - Foundations of Computing - Harel, David (William Sussman Professorial Chair, The Weizmann Institute of Science) - Books - MIT Press Ltd - 9780262527668 - September 29, 2000
In case cover and title do not match, the title is correct

Harel, David (William Sussman Professorial Chair, The Weizmann Institute of Science)
Dynamic Logic - Foundations of Computing

Price
Íkr 7,909
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 4 - 12
Christmas presents can be returned until 31 January
Get notified about new Harel, David (William Sussman Professorial Chair, The Weizmann Institute of Science) releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

This book provides the first comprehensive introduction to Dynamic Logic.

476 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 29, 2000
ISBN13 9780262527668
Publishers MIT Press Ltd
Pages 476
Dimensions 229 × 181 × 34 mm   ·   734 g
Language English  

More from the same publisher

See all of Harel, David (William Sussman Professorial Chair, The Weizmann Institute of Science)