Books By Brat, Guillaume

Displaying 1- 5 of 5 results for keyword "Guillaume-Brat" books

Sort by:


1.		Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Author: Brat, Guillaume ISBN: 978-1-287-29147-3 Book Format: Paperback List Price: AUD $29.69 Publisher: Creative Media Partners, LLC Publication Date: Aug 2013 Quantity Note

2.		NASA Formal Methods 5th International Symposium, NFM 2013,... ISBN: 978-3-642-38087-7 Book Format: Paperback List Price: AUD $151.95 Publisher: Springer London, Limited Publication Date: Apr 2013 Quantity Note

3.		NASA Formal Methods 5th International Symposium, NFM 2013,... ISBN: 978-3-642-38088-4 Book Format: Ebook List Price: USD $107.00 Publisher: Springer Publication Date: May 2013 Quantity Note

4.		Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Author: Brat, Guillaume ISBN: 978-1-287-29147-3 Book Format: Paperback List Price: USD $15.75 Publisher: Creative Media Partners, LLC Publication Date: Aug 2013 Quantity Note

5.		NASA Formal Methods 5th International Symposium, NFM 2013,... ISBN: 978-3-642-38087-7 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Apr 2013 Quantity Note