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 Pharma-Nutrition by

bigCover of the book Disruptive Healthcare Provider Behavior by

bigCover of the book Modelling of the Interaction of the Different Vehicles and Various Transport Modes by

bigCover of the book Smart Power Systems and Renewable Energy System Integration by

bigCover of the book Energy Efficient Data Centers by

bigCover of the book Design of Reinforced Concrete Silo Groups by

bigCover of the book Minimally Invasive Bariatric and Metabolic Surgery by

bigCover of the book Image and Video Technology by

bigCover of the book Informatics in Control, Automation and Robotics by

bigCover of the book Intelligent Comparisons II: Operator Inequalities and Approximations by

bigCover of the book Economics of Institutional Change by

bigCover of the book Why Presidential Speech Locations Matter by

bigCover of the book Impact of Biological Invasions on Ecosystem Services by

bigCover of the book Advanced Decision Making for HVAC Engineers 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