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

Verification, Model Checking, and Abstract Interpretation

Constantin Enea

€54,55
€54,55 €56,24 Väljamüük

Meil on laos

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

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

€54,55
€54,55 €56,24