Catalog > Sains > Kejuruteraan / Teknikal > Elektronik, Kejuruteraan Elektrik > Georgiana Caltais & Christian Schilling: Model Checking Software (ePUB)

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

Sokongan

perlindungan daripada 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.

€64.20

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format EPUB ● ISBN 9783031321573 ● Penyunting Georgiana Caltais & Christian Schilling ● Penerbit Springer Nature Switzerland ● Diterbitkan 2023 ● Muat turun 3 kali ● Mata wang EUR ● ID 9010023 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Georgiana Caltais Christian Schilling

18,579 Ebooks dalam kategori ini

perlindungan daripada Susmit Bagchi: Emerging Research in Cloud Distributed Computing Systems

Susmit Bagchi: Emerging Research in Cloud Distributed Computing Systems

perlindungan daripada Amit (National University of Singapore, Singapore) Banerjee & Chinmay (BITS Mesra, Jharkhand, India) Chakraborty: Artificial Intelligence and the Fourth Industrial Revolution

Amit (National University of Singapore, Singapore) Banerjee & Chinmay (BITS Mesra, Jharkhand, India) Chakraborty: Artificial Intelligence and the Fourth Industrial Revolution

This book presents the overall technology spectrum in artificial intelligence (AI) and the Fourth Industrial Revolution, which is set to revolutionize the world. It discusses their various aspects an …

perlindungan daripada Malgorzata Chrzanowska-Jeske & Kirsten Weide-Zaage: Semiconductor Devices in Harsh Conditions

Malgorzata Chrzanowska-Jeske & Kirsten Weide-Zaage: Semiconductor Devices in Harsh Conditions

This book introduces the reader to a number of challenges for the operation of electronic devices in various harsh environmental conditions. While some chapters focus on measuring and understanding t …

perlindungan daripada Martin J N (University of Huddersfield, West Yorkshire, United Kingdom) Sibley: Modern Telecommunications

Martin J N (University of Huddersfield, West Yorkshire, United Kingdom) Sibley: Modern Telecommunications

Telecommunications is fundamental to modern society, with nearly everyone on the planet having access to a mobile phone, Wi-Fi, or satellite and terrestrial broadcast systems. This book is a concise …

perlindungan daripada John E. (University of Connecticut, Storrs, USA) Ayers: Digital Integrated Circuits

John E. (University of Connecticut, Storrs, USA) Ayers: Digital Integrated Circuits

Exponential improvement in functionality and performance of digital integrated circuits has revolutionized the way we live and work. The continued scaling down of MOS transistors has broadened the sc …

perlindungan daripada Spyros G. Tzafestas: Intelligent Robotic Systems

Spyros G. Tzafestas: Intelligent Robotic Systems

A multiplicity of techniques and angles of attack are incorporated in 18 contributions describing recent developments in the structure, architecture, programming, control, and implementation of indus …

perlindungan daripada Michael A. Brown Sr.: Solutions for High-Touch Communications in a High-Tech World

Michael A. Brown Sr.: Solutions for High-Touch Communications in a High-Tech World

perlindungan daripada Gian Marco Iodice: TinyML Cookbook

Gian Marco Iodice: TinyML Cookbook

<p><b>Over 70 recipes to help you develop smart applications on Arduino Nano 33 BLE Sense, Raspberry Pi Pico, and Spark Fun Red Board Artemis Nano using the power of machine learning Purc …

perlindungan daripada Chiranji Lal Chowdhary: Intelligent Systems

Chiranji Lal Chowdhary: Intelligent Systems

This volume helps to fill the gap between data analytics, image processing, and soft computing practices. Soft computing methods are used to focus on data analytics and image processing to develop go …

perlindungan daripada 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

Muka surat seterusnya >>>