Formale Methoden zur Lösung von Komplexitäts- und Qualitätsproblemen: effektives Testen mit mathematischer Genauigkeit
Institut für Computersysteme, ETH Zürich, 2001
Online
report
Zugriff:
Titel: |
Formale Methoden zur Lösung von Komplexitäts- und Qualitätsproblemen: effektives Testen mit mathematischer Genauigkeit
|
---|---|
Autor/in / Beteiligte Person: | Biere, Armin ; Eidgenössische Technische Hochschule Institut für Computersysteme Zürich |
Link: | |
Veröffentlichung: | Institut für Computersysteme, ETH Zürich, 2001 |
Medientyp: | report |
DOI: | 10.3929/ethz-a-004258281 |
Schlagwort: |
|
Sonstiges: |
|