The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Cyrille Artho Books

Results for Cyrille Artho

Showing 1 to 6 of 6 results
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science) Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science) by Cyrille Artho,Peter Csaba Ölveczky

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)

by Cyrille Artho,Peter Csaba Ölveczky


ISBN 13: 9783319054155

Format: Paperback (308 pages)
Publisher: Springer
Published: 22 Apr 2014

Save for later

 
New : $60.69  
New : $60.69
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings: 9938 (Lecture Notes in Computer Science) Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings: 9938 (Lecture Notes in Computer Science) by Cyrille Artho,Axel Legay,Doron Peled

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings: 9938 (Lecture Notes in Computer Science)

by Cyrille Artho,Axel Legay,Doron Peled


ISBN 13: 9783319465197

Format: Paperback (544 pages)
Publisher: Springer
Published: 22 Sep 2016

Save for later

 
New : $84.48  
New : $84.48
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers: 596 ... in Computer and Information Science) Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers: 596 ... in Computer and Information Science) by Cyrille Artho, Peter Csaba Ölveczky

Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers: 596 ... in Computer and Information Science)

by Cyrille Artho, Peter Csaba Ölveczky


ISBN 13: 9783319295091

Format: Paperback (284 pages)
Publisher: Springer
Published: 03 Feb 2016

Save for later

 
New : $60.69  
New : $60.69
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers: 476 ... in Computer and Information Science) Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers: 476 ... in Computer and Information Science) by Cyrille Artho,Peter Csaba Ölveczky

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers: 476 ... in Computer and Information Science)

by Cyrille Artho,Peter Csaba Ölveczky


ISBN 13: 9783319175805

Format: Paperback (268 pages)
Publisher: Springer
Published: 16 Apr 2015

Save for later

 
New : $60.70  
New : $60.70