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

Fundamentals of Software Engineering

This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7--8, 2025.The 11 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

Dan Parker
Linguistic Illusions

Linguistic illusions are cases where we systematically misunderstand, misinterpret, or fail to notice anomalies in the linguistic input, despite our competencies. Revealing fresh insights into how the min…

lieferbar innerhalb 2-3 Wochen

Buch

Theoretical Aspects of Software Engineering

.- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

lieferbar innerhalb 2-3 Wochen

Buch

3rd International Congress of Electrical and Computer Engineering

This proceedings presents the papers included in the 3rd International Congress of Electrical and Computer Engineering (ICECENG), which took place in Bandirma, Turkey, 27-30 November 2024. The conference …

lieferbar innerhalb 2-3 Wochen

Buch

Christina Klüver, Jörn Schmidt, Jürgen Klüver
Modeling Complex Processes Through Nature-Analogous Methods

This book is an introduction to nature-analogous techniques and related formal methods. For each technique, application examples are provided. It covers cellular automata and Boolean networks, evolutionar…

lieferbar innerhalb 2-3 Wochen

Buch

Caroline Dominik
Embedding Sequential Circuits for their Polynomial Formal Verification

BestMasters

As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the spee…

lieferbar ab 9.1.2026.

Buch

Stéphane Demri
Concise Introduction to Alternating-Time Temporal Logics

Computer Science Foundations and Applied Logic

The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge…

lieferbar ab 23.1.2026.

Buch

2nd International Congress of Electrical and Computer Engineering

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

Bridging the Gap Between AI and Reality

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

sofort lieferbar

Buch

Computation-Aware Algorithmic Design for Cyber-Physical Systems

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

Bridging the Gap Between AI and Reality

This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The paper…

lieferbar innerhalb 2-3 Wochen

Buch

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

Security and Trust Management

This book constitutes the refereed proceedings of the 20th International Workshop on Security and Trust Management (ERCIM STM 2024), held in Bydgoszcz, Poland, during September 19-20, 2024 and co-located …

lieferbar innerhalb 2-3 Wochen

Buch

Principles of Formal Quantitative Analysis

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in N…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computing

This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Computing

This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-…

lieferbar innerhalb 2-3 Wochen

Buch

Rigorous State-Based Methods

This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10--13, 2025.The 10 full papers, 4 s…

lieferbar innerhalb 2-3 Wochen

Buch

Components Operationally: Reversibility and System Engineering

This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to …

sofort lieferbar

Buch

Lucas Santtana

O Céu É Velho Há Muito Tempo

Das neue, mittlerweile achte Album von Lucas Santtana, ist ein Porträt der politischen, sozialen und kulturellen Lage in seinem Heimatland Brasilien. Einen Namen hat sich Santtana mit Alben zwischen Tropi…

LP