Catalog > Sciences > Computer Science > Silvia Bonfanti & Angelo Gargantini: Rigorous State-Based Methods (ePUB)

Silvia Bonfanti & Angelo Gargantini
Rigorous State-Based Methods [EPUB ebook]
10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Support

Cover of Silvia Bonfanti & Angelo Gargantini: Rigorous State-Based Methods (ePUB)

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.

€83.45

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9783031637902 ● Editor Silvia Bonfanti & Angelo Gargantini ● Publisher Springer Nature Switzerland ● Published 2024 ● Downloadable 3 times ● Currency EUR ● ID 9512239 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Silvia Bonfanti Angelo Gargantini Michael Leuschel Elvinia Riccobene Patrizia Scandurra

74,319 Ebooks in this category

Cover of Nick Vandome: iPhone for Seniors in easy steps, 11th edition

Nick Vandome: iPhone for Seniors in easy steps, 11th edition

Unlock the full potential of your i Phone with i Phone for Seniors in easy steps, 11th edition. This guide shows how to:Navigate your i Phone with confidence.Stay connected with family and friends th …

Cover of Nick Vandome: Android Phones for Seniors in easy steps, 3rd edition

Nick Vandome: Android Phones for Seniors in easy steps, 3rd edition

Android Phones for Seniors in easy steps, 3rd edition unravels the world of Android smartphones. It provides an overview of the popular models, and then shows how to:Customize your phone to suit your …

Cover of Team Orange: Artificial Intelligence Class 2

Team Orange: Artificial Intelligence Class 2

Touchpad Artificial Intelligence series has some salient features such as AI Reboot, AI Deep Thinking, AI in Life, AI Lab and AI Ready which ensures that NEP 2020 guidelines are followed. KEY FEATURE …

Cover of Team Orange: Touchpad Play Ver 2.0 Class 3

Team Orange: Touchpad Play Ver 2.0 Class 3

Computer Science Textbook Windows 10 & MS Office 2016 KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia: …

Cover of Rohit Ranjan: Microservices for Machine Learning

Rohit Ranjan: Microservices for Machine Learning

Explore the link between microservices and ML in Microservices for Machine Learning. Through this book, you will learn to build scalable systems by understanding modular software construction princip …

Cover of Arndt von Koenigsmarck: Cinema 4D 11 Workshop

Arndt von Koenigsmarck: Cinema 4D 11 Workshop

Model, texture and animate with Cinema 4D 11 using the techniques and tips provided in Cinema 4D 11 Workshop. Starting with all of the basic concepts, functions, and tools – follow along to the works …

Cover of Geeta Zunjani: Artificial Intelligence Class 5

Geeta Zunjani: Artificial Intelligence Class 5

Touchpad Artificial Intelligence series has some salient features such as AI Reboot, AI Deep Thinking, AI in Life, AI Lab and AI Ready which ensures that NEP 2020 guidelines are followed. KEY FEATURE …

Cover of author Matthew Bennett: Comptia Network+ V6 Study Guide - Indie Copy

author Matthew Bennett: Comptia Network+ V6 Study Guide – Indie Copy

The Network+ certification is an internationally recognized validation of the technical knowledge required of foundation-level IT network practitioners. If you are studying with a view to taking the …

Cover of Theodor Richardson: Microsoft PowerPoint 2013/365

Theodor Richardson: Microsoft PowerPoint 2013/365

As part of the new Pocket Primer series, this book provides an overview of the major and tutorial videos to use Power Point. The book serves as a starting point for deeper exploration of Power Point. …

Cover of (ISC)² Corporate: Official (ISC)2® Guide to the ISSAP® CBK

(ISC)² Corporate: Official (ISC)2® Guide to the ISSAP® CBK

Candidates for the CISSP-ISSAP professional certification need to not only demonstrate a thorough understanding of the six domains of the ISSAP CBK, but also need to have the ability to apply this in …