Heinz Treseler Treseler Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse

Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse

von Heinz Treseler

EUR 48,80

Buch in deiner Nähe kaufen

oder

Beschreibung

Autor*in

Heinz Treseler

Stimmen zu »Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse«

Details

ISBN: 9783832207472

Verlag: Shaker

Erscheinung: 2002

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse

Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden