Ebook > 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.

€82.43

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

73,674 Ebooks in this category

Cover of Dr. Sean Kennedy & Maaike van Putten: Learn Java with Projects

Dr. Sean Kennedy & Maaike van Putten: Learn Java with Projects

<p><b>Refine your Java skills by seamlessly blending foundational core concepts with hands-on coding applications</b></p><h4>Key …

Cover of Nick Vandome: Windows 11 in easy steps, 2nd edition

Nick Vandome: Windows 11 in easy steps, 2nd edition

Windows 11 was first released in 2021 and was a major evolution of the Windows operating system. This has continued with regular updates, with the latest one being the Windows 11 24H2 update. Windows …

Cover of Brij B. Gupta & Deepak Gupta: Handbook of Research on Multimedia Cyber Security

Brij B. Gupta & Deepak Gupta: Handbook of Research on Multimedia Cyber Security

Because it makes the distribution and transmission of digital information much easier and more cost effective, multimedia has emerged as a top resource in the modern era. In spite of the …

Cover of Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 7

Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 7

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. – …

Cover of Steve Leonard & William Turner: JavaScript for Sound Artists

Steve Leonard & William Turner: JavaScript for Sound Artists

Learn how to program Java Script while creating interactive audio applications with Java Script for Sound Artists: Learn to Code With the Web Audio API ! William Turner and Steve Leonard showcase t …

Cover of Alessandro Straccia: Interactive Web Development with Three.js and A-Frame

Alessandro Straccia: Interactive Web Development with Three.js and A-Frame

Build rich Creative Technology projects using 3D, AR, and VRBook Description Embark on an amazing journey into the world of Creative Development with this comprehensive guide. From the basics of …

Cover of Claus Matzinger: Learn Rust Programming

Claus Matzinger: Learn Rust Programming

"Learn Rust Programming" assists every programmer in learning Rust and filling in the gaps left by other programming languages in developing full-proof apps and systems. This book covers …

Cover of JaagoTeens: Cyber Safety for Everyone - 3rd Edition

JaagoTeens: Cyber Safety for Everyone – 3rd Edition

This book is a step-by-step guide that handholds you through all the essential aspects of internet safety. The content is presented in a simple and easy-to-understand manner. True incidents, …

Cover of 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 …

Cover of Ronald J. (Howard University, Washington, DC, USA) Leach: Introduction to Software Engineering

Ronald J. (Howard University, Washington, DC, USA) Leach: Introduction to Software Engineering

Practical Guidance on the Efficient Development of High-Quality Software Introduction to Software Engineering, Second Edition equips students with the fundamentals to prepare them for satisfying ca …