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
Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521718202
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 10 Mar 2011
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
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
