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
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

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

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  

Mere med samme udgiver

See all of Harel, David (William Sussman Professorial Chair, The Weizmann Institute of Science) ( e.g. Paperback Book )