• Book cover of: Verification, Model Checking, and Abstract Interpretation. By: Sriram Sankaranarayanan

Verification, Model Checking, and Abstract Interpretation

Sriram Sankaranarayanan

€66,68
€66,68 €68,74 Išpardavimas

Turime sandėlyje

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

Leidimo metai 2025 m.
Puslapių skč. 254 psl.
Viršelis Minkštas viršelis
ISBN 9783031827020

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation by Sriram Sankaranarayanan, Ashutosh Trivedi, Krishna Shankaranarayanan.

Published by Springer, (2025), Paperback, 254 pages.

Book cover of: Verification, Model Checking, and Abstract Interpretation. By: Sriram Sankaranarayanan

Verification, Model Checking, and Abs...

€66,68
€66,68 €68,74