Buy Used and New SylvainConchon Books

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, ... 9407 (Lecture Notes in Computer Science)

by Michael Butler, Sylvain Conchon, Fatiha Zaïdi

ISBN 13: 9783319254227

Format: Paperback (464 pages)
Publisher: Springer
Published: 08 Jan 2016

Save for later