Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

63,40 €

Springer Nature Switzerland AG
Sivumäärä: 339 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2020
Julkaisuvuosi: 2020, 09.12.2020 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 12345

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.

LISÄÄ OSTOSKORIIN

Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 27.11.2025

Myymäläsaatavuus

Helsinki

Tapiola

Turku

Tampere

Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY

Näytä kaikki tuotetiedot

Tilaustuote