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

Ihre Suche nach "formal methods" ergab 43 Treffer

Runtime Verification

Lecture Notes in Computer Science -Band 14245

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3 6, 2023. The 13 full papers and 7 shor…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 76,66*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

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*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Fundamentals of Computation Theory

Lecture Notes in Computer Science -Band 14292

This book constitutes the proceedings of the 24th International Symposium on Fundamentals of Computation Theory, FCT 2023, held in Trier, Germany, in September 2023. The __ full papers included in this vo…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb