• Book cover of: Verification, Model Checking, and Abstract Interpretation. By: Isil Dillig

Verification, Model Checking, and Abstract Interpretation

Isil Dillig

€54,55
€54,55 €56,24 Sale
Tax included. Shipping calculated at checkout.

In stock
Autorius Isil Dillig
Leidimo metai 2018 m.
Puslapių skč. 540 psl.
Viršelis Minkštas viršelis
ISBN 9783319737201
Leidimas 1st ed. 2018
Kategorijos Software Engineering

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation by Isil Dillig, Jens Palsberg.

Published by Springer, (2018), Paperback, 540 pages.

Topics: Computer science, Software engineering.

Book cover of: Verification, Model Checking, and Abstract Interpretation. By: Isil Dillig

Verification, Model Checking, and Abs...

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