• 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 Sale
Tax included. Shipping calculated at checkout.

In stock
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