• 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 Sale
Tax included. Shipping calculated at checkout.

In stock
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