Software Engineering and Formal Methods

SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Information Technology, General Computing
Big bigCover of Software Engineering and Formal Methods

More books from Springer Berlin Heidelberg

bigCover of the book Gallstone Disease by
bigCover of the book Terror and the War on Dissent by
bigCover of the book Didaktik der Stochastik in der Sekundarstufe I by
bigCover of the book Perinatal Imaging by
bigCover of the book Information Fusion and Geographic Information Systems by
bigCover of the book Water Scarcity in the Mediterranean by
bigCover of the book Wasserstoff und Brennstoffzellen by
bigCover of the book Enterprise Management with SAP SEMâ„¢ / Business Analytics by
bigCover of the book Wastewater Hydraulics by
bigCover of the book Theoretical Geomorphology by
bigCover of the book Psychologie der Menschenführung by
bigCover of the book Reactions and Processes by
bigCover of the book Zum Nachdenken: Unser Sonnensystem by
bigCover of the book Pediatric Chest Imaging by
bigCover of the book Astronomy with Radioactivities 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