Algebraic Domain Equations for specifications containing inequational axioms.
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Karlsruhe
1984
|
| Seri Bilgileri: | Fachbereich Informatik, Univ. Karlsruhe. Interner Bericht
Nr 107 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| Order eBook: |
|
| Order Book: | Login to order |
Search Result 1
