Das Buch ist derzeit nicht auf Lager

Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse

Autoren

Heinz Treseler

Parameter

ISBN: 9783832207472
Verlag: Shaker

Kategorien

Deine Änderungsvorschläge

Buchvariante

2002

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.