Knihu momentálně nemáme skladem

Computer verification of algorithms using a formal proof system

Autoři

Markus Kaiser

Parametry

ISBN: 9783866244832
Nakladatelství: dissertation.de

Kategorie

Navrhnout úpravu

Varianta knihy

2010

Nákup knihy

Kniha aktuálně není skladem.