Formal Methods – Bücher, LPs, CDs und mehr, Seite 3 online kaufen

Death Bells

New Signs Of Life (Limited Edition) (Smoke Vinyl)

Product Information After swapping hemispheres, Australian outfit Death Bells have found a new home in Los Angeles, emerging with a new album of fervent guitar-driven rock, stripped of gloom and punchin…

umgehend lieferbar, Bestand beim Lieferanten vorhanden

EUR 26,99**

LP

EUR 24,99*

AI Verification

Lecture Notes in Computer Science -Band 14846

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 131,42*

Tests and Proofs

Lecture Notes in Computer Science -Band 15153

This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods sym…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 142,37*

Nature of Computation and Communication

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering -Band 586

This book constitutes the refereed post-conference proceedings of the 9th International Conference on Nature of Computation and Communication, ICTCC 2023, held in Ho Chi Minh City, Vietnam, in October 202…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 65,71*

Engineering of Complex Computer Systems

Lecture Notes in Computer Science -Band 14784

This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19 21, 2024. The 18 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Ahmet Bindal
Designing Mobile Robot Interfaces with 16-bit Microchip Microcontrollers

This textbook provides semester-length coverage of the basics of embedded programming to develop robotics-related projects. The author avoids the typical, theoretical approach of teaching students to deve…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 53,32*

Sanjay
The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems

"The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems" dives into the fascinating world of formal methods for ensuring the smooth operation of critical systems. Imagine a…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 28,19*

Computation-Aware Algorithmic Design for Cyber-Physical Systems

Systems & Control: Foundations & Applications

This contributed volume aims to build the foundation of a framework for computationally aware algorithmic design for cyber-physical systems (CPSs), focusing on approaches that take computation into accoun…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 142,37*

2nd International Congress of Electrical and Computer Engineering

EAI/Springer Innovations in Communication and Computing

This proceedings presents the papers included in the 2nd International Congress of Electrical and Computer Engineering (ICECENG), which took place in Bandirma, Turkey, 22-25 November 2023. The conference …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 197,13*

CyberSecurity in a DevOps Environment

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest technique…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 197,13*

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science -Band 14380

This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 76,66*

Real Time and Such

Lecture Notes in Computer Science -Band 15230

This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems. Wang Yi received a PhD in Computer Science from Chalm…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science -Band 14129

This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 202…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 142,37*

Anton Wijs, Marieke Huisman
Concise Guide to Software Verification

Texts in Computer Science

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Formal Methods – Bücher, LPs, CDs und mehr, Seite 3

Ihre Suche nach "formal methods" ergab 54 Treffer