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 Mechanism Design for Robotics by

bigCover of the book Information Literacy in the Workplace by

bigCover of the book Implementing Climate Change Adaptation in Cities and Communities by

bigCover of the book The Hypothalamic-Pituitary-Adrenal Axis in Health and Disease by

bigCover of the book PET/CT in Neuroendocrine Tumors by

bigCover of the book Antitrust Analysis of Online Sales Platforms & Copyright Limitations and Exceptions by

bigCover of the book Control of Nonholonomic Systems: from Sub-Riemannian Geometry to Motion Planning by

bigCover of the book Relativistic Many-Body Theory by

bigCover of the book Declarative Programming and Knowledge Management by

bigCover of the book Knowledge, Morals and Practice in Kant’s Anthropology by

bigCover of the book Nanoscience in Food and Agriculture 1 by

bigCover of the book The Physics of Living Systems by

bigCover of the book The Mathematical Theory of Time-Harmonic Maxwell's Equations by

bigCover of the book Law Reform in Plural Societies 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