Електронна книга > Наука > Техніка > Електроніка, електротехніка, телекомунікації > Georgiana Caltais & Christian Schilling: Model Checking Software (ePUB)

Georgiana Caltais & Christian Schilling
Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Підтримка

Обкладинка Georgiana Caltais & Christian Schilling: Model Checking Software (ePUB)

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

€62.76

Buy this ebook and get 1 more FREE!

Мова Англійська ● Формат EPUB ● ISBN 9783031321573 ● Редактор Georgiana Caltais & Christian Schilling ● Видавець Springer Nature Switzerland ● Опубліковано 2023 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 9010023 ● Захист від копіювання Adobe DRM

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

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

Georgiana Caltais Christian Schilling

18 040 Електронні книги в цій категорі

Обкладинка Alan Davy & Saim Ghafoor: Next Generation Wireless Terahertz Communication Networks

Alan Davy & Saim Ghafoor: Next Generation Wireless Terahertz Communication Networks

The rapid growth of the data traffic demands new ways to achieve high-speed wireless links. The backbone networks, data centers, mission-critical applications, as well as end-users sitting in office …

Обкладинка Joanna Lumsden: Emerging Perspectives on the Design, Use, and Evaluation of Mobile and Handheld Devices

Joanna Lumsden: Emerging Perspectives on the Design, Use, and Evaluation of Mobile and Handheld Devices

Обкладинка Nirdosh Bhatnagar: Introduction to Wavelet Transforms

Nirdosh Bhatnagar: Introduction to Wavelet Transforms

The textbook, Introduction to Wavelet Transforms provides basics of wavelet transforms in a self-contained manner. Applications of wavelet transform theory permeate our daily lives. Therefore it is i …

Обкладинка Sushanth (Matrusri Engineering College, India) Babu Maganti & Praveen Kumar (Vardhamam College of Engineering, Telangana) Devulapalli: Performance Analysis of Cooperative Networking with Multi Channels

Sushanth (Matrusri Engineering College, India) Babu Maganti & Praveen Kumar (Vardhamam College of Engineering, Telangana) Devulapalli: Performance Analysis of Cooperative Networking with Multi Channels

This book covers wireless cooperative communication and advanced communication techniques for research scholars and post-graduate students. Features: • This book will be the reference book for co …

Обкладинка Stephen Sangwine: Electronic Components and Technology

Stephen Sangwine: Electronic Components and Technology

Most introductory textbooks in electronics focus on the theory while leaving the practical aspects to be covered in laboratory courses. However, the sooner such matters are introduced, the better …

Обкладинка Jan Ogrodzki: Circuit Simulation Methods and Algorithms

Jan Ogrodzki: Circuit Simulation Methods and Algorithms

Circuit Simulation Methods and Algorithms provides a step-by-step theoretical consideration of methods, techniques, and algorithms in an easy-to-understand format. Many illustrations explain more dif …

Обкладинка Victor Chang & Robert John Walters: Delivery and Adoption of Cloud Computing Services in Contemporary Organizations

Victor Chang & Robert John Walters: Delivery and Adoption of Cloud Computing Services in Contemporary Organizations

Обкладинка Dimitris Kanellopoulos: Emerging Research on Networked Multimedia Communication Systems

Dimitris Kanellopoulos: Emerging Research on Networked Multimedia Communication Systems

Обкладинка Xiong Puxiang & Qiu Yi: The Design and Implementation of the RT-Thread Operating System

Xiong Puxiang & Qiu Yi: The Design and Implementation of the RT-Thread Operating System

Since the release of V0.01 in 2006, to the present V4.0 version, RT-Thread has developed a reputation among developers for its open source strategy. RT-Thread has gained a large following among membe …

Обкладинка Rashmi Gupta & Manju (Ambedkar Institute of Advanced Communication Technologies and Research, India) Khari: Multimodal Biometric Systems

Rashmi Gupta & Manju (Ambedkar Institute of Advanced Communication Technologies and Research, India) Khari: Multimodal Biometric Systems

Many governments around the world are calling for the use of biometric systems to provide crucial societal functions, consequently making it an urgent area for action. The current performance of some …

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