• 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č. 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