Development of Automatic Program Verification for Continuous Function Chart based on Model Checking
Wardana, Awang Noor Indra 2009 Kassel University Press
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/1011715880
- 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 University Press [2009]
- Jahr
- Erscheinungsdatum: 2009
- Umfang/Format
- Online-Ressource
- ISBN/Einband/Preis
9783899588071- Online
- https://nbn-resolving.org/urn:nbn:de:0002-8077
- Sprache
- eng
- Schlagwörter
- Anmerkungen
-
- Lizenzpflichtig
- Zugl.: Kassel, Univ., Diss., 2009
- Stand
- 19.12.2025 07:37
- Im Katalog seit
- 06.03.2026