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 Circulating Fluidized Bed Boilers by

bigCover of the book Ecological Networks in the Tropics by

bigCover of the book Memories from the Frontline by

bigCover of the book Cognitive Computing for Big Data Systems Over IoT by

bigCover of the book Relativistic Nonlinear Electrodynamics by

bigCover of the book Computer Vision – ACCV 2016 Workshops by

bigCover of the book Childhood Acute Lymphoblastic Leukemia by

bigCover of the book Intelligent Data Analysis and Applications by

bigCover of the book Silicon and Plant Diseases by

bigCover of the book Languages, Design Methods, and Tools for Electronic System Design by

bigCover of the book Optical Phenomenology and Applications by

bigCover of the book Mereology and the Sciences by

bigCover of the book Ethical and Political Approaches to Nonhuman Animal Issues by

bigCover of the book Landscape and Power in Geographical Space as a Social-Aesthetic Construct 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