• 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 Em promoção

Temos em stock

📦 Š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