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

Verification, Model Checking, and Abstract Interpretation

Sriram Sankaranarayanan

292,00 zł
292,00 zł 301,00 zł Sprzedaż

Mamy to na stanie

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
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...

292,00 zł
292,00 zł 301,00 zł