Електронна книга > Наука > Інформатика > Прикладне програмне забезпечення > Carlo A. Furia & Kirsten Winter: Integrated Formal Methods (ePUB)

Carlo A. Furia & Kirsten Winter
Integrated Formal Methods [EPUB ebook]
14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Підтримка

Обкладинка Carlo A. Furia & Kirsten Winter: Integrated Formal Methods (ePUB)

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

€57.77

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат EPUB ● ISBN 9783319989389 ● Редактор Carlo A. Furia & Kirsten Winter ● Видавець Springer International Publishing ● Опубліковано 2018 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6788599 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Carlo A. Furia Kirsten Winter

16 592 Електронні книги в цій категорі

Обкладинка Darryl Bartlett: Swift Programming in easy steps

Darryl Bartlett: Swift Programming in easy steps

Swift is very easy to learn and it’s more readable than most programming languages. It allows you to build applications for i Phone, i Pad, Apple Watch, Apple TV and Mac. Swift Programming in easy …

Обкладинка Richard Urwin: Artificial Intelligence for Developers in easy steps

Richard Urwin: Artificial Intelligence for Developers in easy steps

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI …

Обкладинка Mamoun Alazab & Yassine Maleh: Blockchain for Cybersecurity and Privacy

Mamoun Alazab & Yassine Maleh: Blockchain for Cybersecurity and Privacy

Blockchain technology is defined as a decentralized system of distributed registers that are used to record data transactions on multiple computers. The reason this technology has gained popularity i …

Обкладинка Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Getting Started for Internet of Things with Launch Pad and ESP8266 provides a platform to get started with the Ti launch pad and Io T modules for Internet of Things applications. The book provides …

Обкладинка Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

Arun Prakash Agrawal & Vishal (Sharda University, India) Jain: Computational Intelligence Applications for Software Engineering Problems

This new volume explores the computational intelligence techniques necessary to carry out different software engineering tasks. Software undergoes various stages before deployment, such as …

Обкладинка Arun Gupta: Building End-to-End Apps with C# 11 and .NET 7

Arun Gupta: Building End-to-End Apps with C# 11 and .NET 7

C# 11 is the latest version of C#, a popular programming language for building cloud, web, and desktop applications. It is a powerful and versatile language that can create a wide range of …

Обкладинка Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …

Обкладинка Boualem (University of New South Wales, Sydney, Australia) Benatallah & Jinjun (Swinburne University of Technology) Chen: Cloud Computing

Boualem (University of New South Wales, Sydney, Australia) Benatallah & Jinjun (Swinburne University of Technology) Chen: Cloud Computing

Cloud computing has created a shift from the use of physical hardware and locally managed software-enabled platforms to that of virtualized cloud-hosted services. Cloud assembles large networks of vi …

Обкладинка Donald J. (President, Reifer Consultants LLC, Prescott, Arizona, USA) Reifer: Software Maintenance Success Recipes

Donald J. (President, Reifer Consultants LLC, Prescott, Arizona, USA) Reifer: Software Maintenance Success Recipes

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are …

Обкладинка Arun Kumar Sangaiah & Vijayan Sugumaran: Computational Intelligence Applications in Business Intelligence and Big Data Analytics

Arun Kumar Sangaiah & Vijayan Sugumaran: Computational Intelligence Applications in Business Intelligence and Big Data Analytics

There are a number of books on computational intelligence (CI), but they tend to cover a broad range of CI paradigms and algorithms rather than provide an in-depth exploration in learning and adaptiv …

Наступна сторінка >>>