Knihu momentálně nemáme skladem

Verification, model checking, and abstract interpretation

Autoři

Neil D. Jones

Parametry

ISBN: 9783540938996
Nakladatelství: Springer

Kategorie

Navrhnout úpravu

Varianta knihy

2009, měkká

Nákup knihy

Kniha aktuálně není skladem.