Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Thomas Mertke
Themen in »Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache«
Formale Methoden Temporale Logik Verifikation
Stimmen zu »Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache«
Details
ISBN: 9783832230852
Verlag: Shaker
Erscheinung: 08.2004