Ebook > Sciences > Computer Science > Application Software > Einar Broch Johnsen & Ina Schaefer: Software Engineering and Formal Methods (ePUB)

Einar Broch Johnsen & Ina Schaefer
Software Engineering and Formal Methods
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Support

Cover of Einar Broch Johnsen & Ina Schaefer: Software Engineering and Formal Methods (ePUB)

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

€55.96

Language English ● Format EPUB ● ISBN 9783319929705 ● Editor Einar Broch Johnsen & Ina Schaefer ● Publisher Springer International Publishing ● Published 2018 ● Downloadable 3 times ● Currency EUR ● ID 6647378 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Einar Broch Johnsen Ina Schaefer

16,089 Ebooks in this category

Cover of Amanda Baker & Hayley Horn: Databricks ML in Action

Amanda Baker & Hayley Horn: Databricks ML in Action

<p><b>Get to grips with autogenerating code, deploying ML algorithms, and leveraging various ML lifecycle features on the Databricks Platform, guided by best practices and reusable code …

Cover of John Ilgenfritz & Merle Ilgenfritz: VMware Certified Professional Test Prep

John Ilgenfritz & Merle Ilgenfritz: VMware Certified Professional Test Prep

Written by VM-certified instructors with years of professional and teaching experience, VMware Certified Professional Test Prep is the ultimate guide to the VCP exam. Its organized and highly practic …

Cover of Matthew John Yee-King: Build AI-Enhanced Audio Plugins with C++

Matthew John Yee-King: Build AI-Enhanced Audio Plugins with C++

Build AI-Enhanced Audio Plugins with C++ explains how to embed artificial intelligence technology inside tools that can be used by audio and music professionals, through worked examples using Python, …

Cover of Peter F. Linington & Zoran Milosevic: Building Enterprise Systems with ODP

Peter F. Linington & Zoran Milosevic: Building Enterprise Systems with ODP

The Reference Model of Open Distributed Processing (RM-ODP) is an international standard that provides a solid basis for describing and building widely distributed systems and applications in a …

Cover of Brian J. Keller: Practical Guide To X Window Programming

Brian J. Keller: Practical Guide To X Window Programming

A Practical Guide to X Window Programming is a basic guide that takes readers step by step through developing applications using X-Windows. The book covers the Xt Intrinsics portion of the X-Window …

Cover of Sourabh Sharma: Modern API Development with Spring 6 and Spring Boot 3

Sourabh Sharma: Modern API Development with Spring 6 and Spring Boot 3

<p><b>Discover ways to enhance your application”s functionality through hands-on learning for designing, testing, securing, deploying, and maintaining production-ready …

Cover of Sini Raj Pulari & Shriram K Vasudevan: Deep Learning

Sini Raj Pulari & Shriram K Vasudevan: Deep Learning

Deep Learning: A Comprehensive Guide provides comprehensive coverage of Deep Learning (DL) and Machine Learning (ML) concepts. DL and ML are the most sought-after domains, requiring a deep understand …

Cover of Ralph Morelli & Allen Tucker: Software Development

Ralph Morelli & Allen Tucker: Software Development

To understand the principles and practice of software development, there is no better motivator than participating in a software project with real-world value and a life beyond the academic arena. …