Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Software Engineering and Formal Methods

More books from Springer International Publishing

bigCover of the book Language and Communication in Mathematics Education by

bigCover of the book Autonomy and Artificial Intelligence: A Threat or Savior? by

bigCover of the book Natural Convective Heat Transfer from Horizontal and Near Horizontal Surfaces by

bigCover of the book Perception and Discovery by

bigCover of the book Working with Stem Cells by

bigCover of the book Temporal Bone CT and MRI Anatomy by

bigCover of the book Plasma Cell Dyscrasias by

bigCover of the book Handbook of Accessible Instruction and Testing Practices by

bigCover of the book Rabbi Akiva's Philosophy of Love by

bigCover of the book Women Spacefarers by

bigCover of the book Robot Operating System (ROS) by

bigCover of the book Mobius Invariant QK Spaces by

bigCover of the book The Endless Quest for Israeli-Palestinian Peace by

bigCover of the book The Analysis and Geometry of Hardy's Inequality by

bigCover of the book Fashioning England and the English by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy