• 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 Em promoção

Temos em stock

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

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

Verification, Model Checking, and Abstract Interpretation

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

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

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

Verification, Model Checking, and Abs...

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