booktheque

Abstract State Machines - Theory and Applications

Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele · 2003

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2003
Language
English
Publisher
Springer London, Limited
Editions
1
ISBN
9783540445180

Data source: Wikidata

More by Yuri Gurevich

Fields of logic and computation
Yuri Gurevich · 2010
Abstract state machines
Yuri Gurevich · 2000