Korrektheitsuntersuchungen von Simulationen unter Verwendung von Term-Rewriting-Verfahren
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre |
| Langue: | allemand |
| Publié: |
Kiel
1982
|
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Description: | Wagner, Franz -- Korrektheitsuntersuchungen von Simulationen unter Verwendung von Term-Rewriting-Verfahren . -- 1982. 148 S. 8° -- Kiel, Univ., Math.-Naturwiss. Fak., Diss. 1982 |
|---|---|
| Description matérielle: | 148 S. 8° |