Nadia Polikarpova & Steve Schneider 
Integrated Formal Methods [EPUB ebook] 
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Supporto
Copertina di Nadia Polikarpova & Steve Schneider: Integrated Formal Methods (ePUB)

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

€57.88
Modalità di pagamento
Acquista questo ebook e ricevine 1 in più GRATIS!
Lingua Inglese ● Formato EPUB ● ISBN 9783319668451 ● Editore Nadia Polikarpova & Steve Schneider ● Casa editrice Springer International Publishing ● Pubblicato 2017 ● Scaricabile 3 volte ● Moneta EUR ● ID 6211196 ● Protezione dalla copia Adobe DRM
Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Nadia PolikarpovaSteve Schneider

74.829 Ebook in questa categoria

Copertina di Robert Rybaric: Microsoft Power Platform Up and Running
Robert Rybaric: Microsoft Power Platform Up and Running
The author of ‘Microsoft Power Platform Up and Running’ is an experienced subject expert on technology, so the book is engaging, well-illustrated, and aims to make it easier to implement the technolo …
EPUB
Adobe DRM
€25.32
Copertina di Ajit Singh: 5 G Technologies
Ajit Singh: 5 G Technologies
EPUB
Adobe DRM
€4.50
Copertina di Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 6
Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 6
Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – QR Code: Scan the QR Code given on each chapter to start chapter animation. – Fun Fact!: This pr …
EPUB
Adobe DRM
€20.61
Copertina di Nidhi Arora: Trackpad Pro Ver. 5.0 Class 5
Nidhi Arora: Trackpad Pro Ver. 5.0 Class 5
Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …
EPUB
Adobe DRM
€20.48
Copertina di Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 4
Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 4
Computer Science Textbook with New Pedagogical Approaches KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickiped …
EPUB
Adobe DRM
€20.63
Copertina di Kim van Lavieren: ISC2 Certified Cloud Security Professional (CCSP) Exam Guide
Kim van Lavieren: ISC2 Certified Cloud Security Professional (CCSP) Exam Guide
Cloud security is a rapidly evolving field, demanding professionals with specialized knowledge and expertise. This book equips you with the foundational understanding and practical skills necessary t …
EPUB
Adobe DRM
€25.49
Copertina di Frank Piepiorra: Vtiger CRM v6.5.0 - User and Administration Manual
Frank Piepiorra: Vtiger CRM v6.5.0 – User and Administration Manual
The vtiger CRM is one of the most exciting and best professional-quality Open Source CRM products for small and medium enterprises today. This book covers the CRM version 6.5.0 and is a step-by-step …
EPUB
Adobe DRM
€4.45
Copertina di John Bura & Alexandra Kropova: Introduction to Unity
John Bura & Alexandra Kropova: Introduction to Unity
Do you want to make your own 2D or 3D game? Unity is the Number One free program for building VR games. In this book, we use Unity and C# to create several games from scratch.The first part of this b …
EPUB
Adobe DRM
€24.09
Copertina di Michael Macaulay: Introduction to Web Interaction Design
Michael Macaulay: Introduction to Web Interaction Design
This book introduces standard and new HTML5 elements and attributes and CSS3 properties commonly used in Web design as well as design guidelines for their effective use. Its approach of explaining ev …
EPUB
Adobe DRM
€76.78
Copertina di El-Princess & El-Ivan Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, The Beginner’s 101 Guide - An Introductory Explanation for Beginners, The first most comprehensive book to understanding cryptocurrency with step-by-step instru
El-Princess & El-Ivan Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, The Beginner’s 101 Guide – An Introductory Explanation for Beginners, The first most comprehensive book to understanding cryptocurrency with step-by-step instru
Understanding the Basics About Bitcoin & Other Cryptocurrencies is the Beginner”s Go-To-Guide for Understanding Cryptocurrency and is intended to be used as a manual/handbook. It first lays the nece …
EPUB
Adobe DRM
€6.55
Pagina successiva >>>