Buy Used and New JavierEsparza Books

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783642120015

Format: Paperback (468 pages)
Publisher: Springer
Published: 17 Mar 2010

Save for later

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

by Javier Esparza,Keijo Heljanko

ISBN 13: 9783540774259

Format: Hardcover (184 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series)

by

ISBN 13: 9780521718202

Format: Paperback (356 pages)
Publisher: Cambridge University Press
Published: 10 Mar 2011

Save for later

Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)

by Jorg Desel, Javier Esparza

ISBN 13: 9780521019453

Format: Paperback (256 pages)
Publisher: Cambridge University Press
Published: 08 Sep 2005

Save for later