Trefferliste "Program Verification" - alle Bücher

Ihre Suche nach "Program Verification" (Bücher) ergab 2 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 fundame…

lieferbar innerhalb 2-3 Wochen

Buch

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

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