Knihobot
Knihu momentálně nemáme skladem

Verification, model checking, and abstract interpretation

Autoři

Parametry

ISBN
9783540436317
Nakladatelství
Springer

Kategorie

Varianta knihy

2002

Nákup knihy

Kniha aktuálně není skladem.