Search - List of Books by Javier Esparza

Total Books: 3
Unfoldings A Partial-Order Approach to Model Checking
2008 - Unfoldings a Partial-order Approach to Model Checking [Monographs in Theoretical Computer Science. An EATCS Series] (Hardcover)
ISBN-13: 9783540774259
ISBN-10: 3540774254
Genre: Computers & Technology
  ?

Free Choice Petri Nets
2005 - Free Choice Petri Nets [Cambridge Tracts in Theoretical Computer Science] (Paperback)Hardcover
ISBN-13: 9780521019453
ISBN-10: 0521019451
Genres: Computers & Technology, Science & Math, Engineering & Transportation
  ?

Free Choice Petri Nets
1995 - Free Choice Petri Nets [Cambridge Tracts in Theoretical Computer Science] (Hardcover)Paperback
ISBN-13: 9780521465199
ISBN-10: 0521465192
Genres: Computers & Technology, Science & Math, Engineering & Transportation, Substores
  ?