• Book cover of: Verification, Model Checking, and Abstract Interpretation. By: Constantin Enea

Verification, Model Checking, and Abstract Interpretation

Constantin Enea

239,00 zł
239,00 zł 246,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.
Autorius Constantin Enea
Leidimo metai 2019 m.
Puslapių skč. 602 psl.
Viršelis Minkštas viršelis
ISBN 9783030112448
Leidimas 2019 ed.

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation by Constantin Enea, Ruzica Piskac.

Published by Springer, (2019), Paperback, 602 pages.

Book cover of: Verification, Model Checking, and Abstract Interpretation. By: Constantin Enea

Verification, Model Checking, and Abs...

239,00 zł
239,00 zł 246,00 zł