Knihu momentálně nemáme skladem

Einführung in die Programmverifikation

Autoři

Bernhard Hohlfeld

Parametry

ISBN: 9783411159710
Nakladatelství: BI-Wiss.-Verl.

Kategorie

Navrhnout úpravu

Varianta knihy

1992

Nákup knihy

Kniha aktuálně není skladem.