Algebraic Domain Equations for specifications containing inequational axioms.
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Karlsruhe
1984
|
| Col·lecció: | Fachbereich Informatik, Univ. Karlsruhe. Interner Bericht
Nr 107 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 967129 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Kruetzer, Gerd | |
| 245 | 1 | 0 | |a Algebraic Domain Equations for specifications containing inequational axioms. |
| 246 | 3 | |a KRUETZER,Gerd.- | |
| 264 | 1 | |a Karlsruhe |c 1984 | |
| 300 | |a 52 S. |c 4° | ||
| 490 | 0 | |a Fachbereich Informatik, Univ. Karlsruhe. Interner Bericht |v Nr 107 | |
| 500 | |a KRUETZER,Gerd.- -- Algebraic Domain Equations for specifica= -- tions containing inequational axioms. - -- Karlsruhe 1984.52 S.4° -- (Fachbereich Informatik,Univ.Karlsruhe. -- Interner Bericht.Nr 107.) -- 1984:B 2644. -- Ir. | ||
| 852 | |c T 20.678/107 | ||
| 999 | |a Monographie | ||
| 591 | |a description: lo?KRUETZER,Gerd.Algebraic Domain Squations for specifica tions containing inequational axioms. Karlsruhe 1984.52 3.4 Fachbereich Informatik,Univ.Karlsruhe.Interner Bericht.Nr lo?. 1984:B 2644.Ir. |a signature: T 2o.673 |a published: 1984 | ||