Knihu momentálně nemáme skladem

Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik

Autoři

Friedemann Bitsch

Parametry

ISBN: 9783832260354
Nakladatelství: Shaker

Kategorie

Navrhnout úpravu

Varianta knihy

2007

Nákup knihy

Kniha aktuálně není skladem.