Trefferliste "Program Verification" - alle Bücher

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

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