Knihu momentálně nemáme skladem

Verification, model checking, and abstract interpretation

Autoři

Bernhard Steffen

Parametry

ISBN: 9783540208037
Nakladatelství: Springer

Kategorie

Navrhnout úpravu

Varianta knihy

2004, měkká

Nákup knihy

Kniha aktuálně není skladem.