Korrektheitsuntersuchungen von Simulationen unter Verwendung von Term-Rewriting-Verfahren
Sparad:
| Huvudupphov: | |
|---|---|
| Materialtyp: | Bok |
| Språk: | tyska |
| Utgiven: |
Kiel
1982
|
| Taggar: |
Inga taggar, Lägg till första taggen!
|
| Order eBook: |
|
| Order Book: | Login to order |