Development of automatic program verification for continuous function chart based on model checking
Wardana, Awang Noor Indra 2009 Kassel Univ. Press
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/998980234
- Titel
- Development of automatic program verification for continuous function chart based on model checking
- Art des Inhalts
- Monographie
- Verfassangaben
- Awang Noor Indra Wardana
- Autor
- Wardana, Awang Noor Indra
- Verlag
- Kassel : Kassel Univ. Press [2009]
- Jahr
- Erscheinungsdatum: 2009
- Umfang/Format
- 121 S.
- ISBN/Einband/Preis
9783899588064- Online
- https://d-nb.info/998980234/04
- Sprache
- eng
- Schlagwörter
- Anmerkungen
- Zugl.: Kassel, Univ., Diss., 2009
- Stand
- 02.12.2017 12:52
- Im Katalog seit
- 06.03.2026