Sách điện tử > Khoa học > Kỹ thuật / Kỹ thuật > Điện tử, Kỹ thuật điện > Thomas Neele & Anton Wijs: Model Checking Software (ePUB)

Thomas Neele & Anton Wijs
Model Checking Software [EPUB ebook]
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Ủng hộ

Bìa của Thomas Neele & Anton Wijs: Model Checking Software (ePUB)

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

€57.99

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng EPUB ● ISBN 9783031661495 ● Biên tập viên Thomas Neele & Anton Wijs ● Nhà xuất bản Springer Nature Switzerland ● Được phát hành 2024 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 9999264 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Thomas Neele Anton Wijs

18.812 Ebooks trong thể loại này

Bìa của Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

The book offers an insight on artificial neural networks for giving a robot a high level of autonomous tasks, such as navigation, cost mapping, object recognition, intelligent control of ground and a …

Bìa của 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 …

Bìa của Evgeni Perelroyzen: Digital Integrated Circuits

Evgeni Perelroyzen: Digital Integrated Circuits

A current trend in digital design-the integration of the MATLAB® components Simulink® and Stateflow® for model building, simulations, system testing, and fault detection-allows for better control ove …

Bìa của 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 …

Bìa của Nancy (Sinhgad Institutes SPPU, Pune, India.) Ambritta P. & Arvind Vinayak (Sinhgad Institutes SPPU, Pune, India.) Deshpande: The Convergence of Internet of Things and Cloud for Smart Computing

Nancy (Sinhgad Institutes SPPU, Pune, India.) Ambritta P. & Arvind Vinayak (Sinhgad Institutes SPPU, Pune, India.) Deshpande: The Convergence of Internet of Things and Cloud for Smart Computing

This book presents the know-how of the real-time Io T application development activity including a basic understanding of the Io T architecture, use cases, smart computing, and the associated challen …

Bìa của Cliff Wootton: Developing Quality Metadata

Cliff Wootton: Developing Quality Metadata

With the explosion of new audio and video content on the Web, it”s more important than ever to use accurate and comprehensive metadata to get the most out of that content. Developing Quality Metadat …

Bìa của Dave Adamy: Practical Communication Theory

Dave Adamy: Practical Communication Theory

Practical Communication Theory, 2nd Edition enables the reader to quickly and easily generate the answers to real-world problems encountered in specifying, testing, and fielding any type of systems t …

Bìa của Baoxin (Arizona State University, Tempe, USA) Li & Ragav (Arizona State University, Tempe, USA) Venkatesan: Convolutional Neural Networks in Visual Computing

Baoxin (Arizona State University, Tempe, USA) Li & Ragav (Arizona State University, Tempe, USA) Venkatesan: Convolutional Neural Networks in Visual Computing

This book covers the fundamentals in designing and deploying techniques using deep architectures. It is intended to serve as a beginner”s guide to engineers or students who want to have a quick star …

Bìa của J Ronayne: Integrated Services Digital Network

J Ronayne: Integrated Services Digital Network

An introduction to ‘ISDN’ which brings the technology up-to-date, incorporating developments in ‘ATM’, ‘SDH’ and Broadband ‘ISDN’. This book is suitable for self-learning communications professionals …

Bìa của Denise Brehaut: GMDSS

Denise Brehaut: GMDSS

The Global Maritime Distress and Safety System (GMDSS) – the maritime equivalent to the emergency services number – provides a fast and efficient way of calling for assistance at sea, whatever the si …

Trang tiếp theo >>>