Knihu momentálně nemáme skladem

Verification, model checking, and abstract interpretation

Autoři

E. Allen Emerson

Parametry

ISBN: 9783540311393
Nakladatelství: Springer

Kategorie

Navrhnout úpravu

Varianta knihy

2006

Nákup knihy

Kniha aktuálně není skladem.