Concepts, algorithms, and tools for model checking
Katoen, Joost-Pieter 1999 IMMD
- Link zu diesem Datensatz
-
https://d-nb.info/957679467
- Titel
-
Concepts, algorithms, and tools for model checking
- Art des Inhalts
- Monographie
- Verfassangaben
- Joost-Pieter Katoen. [Universität Erlangen-Nürnberg, Institut für Mathematische Maschinen und Datenverarbeitung]
- Autor
-
Katoen, Joost-Pieter
- Verlag
- Erlangen : IMMD [1999]
- Jahr
- Erscheinungsdatum: 1999
- Umfang/Format
- VII, 292 S.
- Online
- https://d-nb.info/957679467/04
- Sprache
- eng
- Sachgruppe(n)
-
- Anmerkungen
-
Literaturverz. S. 290 - 292
- Stand
- 10.06.2024 06:24
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
