Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday - Programming and Software Engineering - Lev D Beklemishev - Books - Springer International Publishing AG - 9783319235332 - August 27, 2015
In case cover and title do not match, the title is correct

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday - Programming and Software Engineering 1st ed. 2015 edition

Lev D Beklemishev

Price
A$ 100.99

Ordered from remote warehouse

Expected delivery Dec 11 - 24
Christmas presents can be returned until 31 January

Our customers say:

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

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday - Programming and Software Engineering 1st ed. 2015 edition

Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more.

319 pages, 15 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 27, 2015
ISBN13 9783319235332
Publishers Springer International Publishing AG
Pages 319
Dimensions 155 × 235 × 18 mm   ·   5.04 kg
Language French  
Editor Beklemishev, Lev D.
Editor Blass, Andreas
Editor Dershowitz, Nachum
Editor Finkbeiner, Bernd
Editor Schulte, Wolfram
Show all

More by Lev D Beklemishev

See all of Lev D Beklemishev ( e.g. Paperback Book )