heljanko

Displaying 1- 6 of 6 results for keyword "heljanko" books

Sort by:


1.		Unfoldings A Partial-Order Approach to Model Checking Author: Esparza, Javier Heljanko, Keijo ISBN: 978-3-642-09605-1 Book Format: Paperback List Price: AUD $248.95 Publisher: Springer Publication Date: Nov 2010 Quantity Note

2.		Unfoldings A Partial-Order Approach to Model Checking Author: Esparza, Javier Heljanko, Keijo ISBN: 978-3-642-09605-1 Book Format: Paperback List Price: USD $109.99 Publisher: Springer Berlin / Heidelberg Publication Date: Nov 2010 Quantity Note

3.		Unfoldings A Partial-Order Approach to Model Checking Author: Esparza, Javier Heljanko, Keijo ISBN: 978-3-540-77425-9 Book Format: Hardback List Price: USD $109.99 Publisher: Springer Berlin / Heidelberg Publication Date: Mar 2008 Quantity Note

4.		Unfoldings A Partial-Order Approach to Model Checking Author: Esparza, Javier Heljanko, Keijo ISBN: 978-3-540-77426-6 Book Format: Ebook List Price: USD $139.00 Publisher: Springer Publication Date: Mar 2008 Quantity Note

5.		Unfoldings A Partial-Order Approach to Model Checking Author: Esparza, Javier Heljanko, Keijo ISBN: 978-3-540-77425-9 Book Format: Hardback List Price: AUD $248.95 Publisher: Springer Publication Date: Mar 2008 Quantity Note

6.		Unfoldings: a Partial-Order Approach to Model Checking Author: Esparza, Javier Heljanko, Keijo ISBN: 978-1-281-24196-2 Book Format: Ebook List Price: USD $198.00 Publisher: Springer Publication Date: Sep 2008 Quantity Note