Software Engineering and Formal Methods

SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, 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 Trends and Applications in Software Engineering by

bigCover of the book Application of Modified Atmosphere Packaging on Quality of Selected Vegetables by

$bigCover of the book CP Violation in {B_s}^0 -> J/psi.phi Decays by$

bigCover of the book Fundamentals of Laser-Assisted Micro- and Nanotechnologies by

bigCover of the book Intelligent Tutoring Systems by

bigCover of the book Lake Ecology in Kashmir, India by

bigCover of the book Information Technology for Management: Emerging Research and Applications by

bigCover of the book Ferroic Functional Materials by

bigCover of the book The Dark Arrow of Time by

bigCover of the book Sustainable Learning in Higher Education by

bigCover of the book Lessons From Fukushima by

bigCover of the book Policy Implications of Virtual Work by

bigCover of the book Modeling of Column Apparatus Processes 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