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

Verification, Model Checking, and Abstract Interpretation

Isil Dillig

239,00 zł
239,00 zł 246,00 zł Sprzedaż

Mamy to na stanie

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
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...

239,00 zł
239,00 zł 246,00 zł