• 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 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 Isil Dillig
Leidimo metai 2018 m.
Puslapių skč. 540 psl.
Viršelis Minkštas viršelis
ISBN 9783319737201
Leidimas 1st ed. 2018

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