Ebook > Sains > Ilmu Komputer > Ilmu Komputer > Jose Creissac Campos & Uwe Glasser: Rigorous State-Based Methods (ePUB)

Jose Creissac Campos & Uwe Glasser
Rigorous State-Based Methods [EPUB ebook]
9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Dukung

Sampul Jose Creissac Campos & Uwe Glasser: Rigorous State-Based Methods (ePUB)

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 Ph D symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

€83.25

Beli ebook ini dan dapatkan 1 lagi GRATIS!

Bahasa Inggris ● Format EPUB ● ISBN 9783031331633 ● Editor Jose Creissac Campos & Uwe Glasser ● Penerbit Springer Nature Switzerland ● Diterbitkan 2023 ● Diunduh 3 kali ● Mata uang EUR ● ID 9043964 ● Perlindungan salinan Adobe DRM

Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

Jose Creissac Campos Uwe Glasser Dominique Mery Philippe Palanque

16,607 Ebooks dalam kategori ini

Sampul Gilbert Held: Wireless Mesh Networks

Gilbert Held: Wireless Mesh Networks

Wireless mesh networking is a new technology that has the potential to revolutionize how we access the Internet and communicate with co-workers and friends. Wireless Mesh Networks examines the …

Sampul Loveleen Gaur & Vishal Jain: Handbook of Research on Engineering Innovations and Technology Management in Organizations

Loveleen Gaur & Vishal Jain: Handbook of Research on Engineering Innovations and Technology Management in Organizations

As technology weaves itself more tightly into everyday life, socio-economic development has become intricately tied to these ever-evolving innovations. Technology management is now an integral …

Sampul H. Patricia McKenna: Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities

H. Patricia McKenna: Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities

Sampul Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications

Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications

Sampul Narendra Kumar Kamila: Handbook of Research on Emerging Perspectives in Intelligent Pattern Recognition, Analysis, and Image Processing

Narendra Kumar Kamila: Handbook of Research on Emerging Perspectives in Intelligent Pattern Recognition, Analysis, and Image Processing

Sampul Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

Sampul Raman Jhajj: Mastering MLOps Architecture

Raman Jhajj: Mastering MLOps Architecture

MLOps, a combination of Dev Ops, data engineering, and machine learning, is crucial for delivering high-quality machine learning results due to the dynamic nature of machine learning data. This book …

Sampul Roger Bartlett & Youlian Hong: Routledge Handbook of Biomechanics and Human Movement Science

Roger Bartlett & Youlian Hong: Routledge Handbook of Biomechanics and Human Movement Science

The Routledge Handbook of Biomechanics and Human Movement Science is a landmark work of reference. Now available in a concise paperback edition, it offers a comprehensive and in-depth survey of curre …

Sampul Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

The Global Conference on Artificial Intelligence and Applications (GCAIA 2021) provides a prominent venue for researchers, engineers, entrepreneurs, and scholar students to share their research ideas …

Sampul Constantin Virgil Negoita: Cybernetics and Applied Systems

Constantin Virgil Negoita: Cybernetics and Applied Systems

In light of the enormous interest in building intelligent systems, this volume blends theory, applications, and methodology of cybernetics taking it out of the realm of the abstract and explaining …

Halaman selanjutnya >>>