Knihu momentálně nemáme skladem

Automated theorem proving in software engineering

Autoři

Johann M. Ph. Schumann

Parametry

ISBN: 9783540679899
Nakladatelství: Springer

Kategorie

Počítače, IT, programování

Navrhnout úpravu

Varianta knihy

2001

Nákup knihy

Kniha aktuálně není skladem.