Trefferliste "Program Verification" - alle Bücher

Ihre Suche nach "Program Verification" (Bücher) ergab 5 Treffer.

Static Analysis

Lecture Notes in Computer Science - Band 16100

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

lieferbar ab 16.11.2025.

Buch

EUR 81,04* Aktueller Preis: EUR 81,04

Artikel merken

In den Warenkorb

Menge ändern

Static Analysis

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundament…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04* Aktueller Preis: EUR 81,04

Artikel merken

In den Warenkorb

Menge ändern

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

EUR 72,27* Aktueller Preis: EUR 72,27

Artikel merken

In den Warenkorb

Menge ändern

Thom Frühwirth

Principles of Rule-Based Programming

The book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Semantic…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 36,00* Aktueller Preis: EUR 36,00

Artikel merken

In den Warenkorb

Menge ändern

Martin Hofmann, Martin Lange

Automata Theory and Logic

This book introduces the reader into the field of automata theory and logic. It studies fundamental properties like complementation and determinisation of automata on infinite words and trees, and present…

lieferbar ab 25.11.2025.

Buch

EUR 69,33* Aktueller Preis: EUR 69,33

Artikel merken

In den Warenkorb

Menge ändern