Computing polynomial program invariants
Müller-Olm, Markus ; Seidl, Helmut 2004 Fernuniv., Fachbereich Informatik
- Link zu diesem Datensatz
-
https://d-nb.info/970792034
- Titel
-
Computing polynomial program invariants
- Art des Inhalts
- Monographie
- Verfassangaben
- Markus Müller-Olm ; Helmut Seidl. Fernuniversität in Hagen, Fachbereich Informatik
- Autor(en)
-
- Müller-Olm, Markus
- Seidl, Helmut
- Verlag
- Hagen : Fernuniv., Fachbereich Informatik [2004]
- Jahr
- Erscheinungsdatum: 2004
- Umfang/Format
- 10 Bl.
- Sprache
- eng
- Schlagwörter
-
- Stand
- 03.12.2017 16:02
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag