Buy Used and New Akram Idani Books

Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, ... 8938 (Lecture Notes in Computer Science)

by Carlos Canal,Akram Idani

ISBN 13: 9783319152004

Format: Paperback (436 pages)
Publisher: Springer
Published: 26 Feb 2015

Save for later