Eine algebraische Spezifikation des Software-Produkts INTAKT.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Kaiserslautern
1983
|
| Series: | Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern
83 |
| Tags: |
No Tags, Be the first to tag this record!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 540683 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Grieneisen, Hartmut | |
| 245 | 1 | 0 | |a Eine algebraische Spezifikation des Software-Produkts INTAKT. |
| 246 | 3 | |a GRIENEISEN, Hartmut: | |
| 264 | 1 | |a Kaiserslautern |c 1983 | |
| 300 | |a 221 Sp. |c 4° | ||
| 490 | 0 | |a Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern |v 83 | |
| 500 | |a GRIENEISEN, Hartmut: -- Eine algebraische Spezifikation des Soft= -- ware-Produkts INTAKT. - (Kaiserslautern -- 1983.) 221 Sp.4° -- (Interner Bericht.Fachbereich Informatik. -- Universität Kaiserslautern.83.) -- 1983:B 2910. -- Ka. | ||
| 852 | |c T 20.678/83 | ||
| 999 | |a Monographie | ||
| 591 | |a description: Eine algebraische Spezifikation des SoftwareProdukts INTAKT. Kaiserslautern1983. 221 Sp.4 Interner Bericht.Fachbereich InformatikUniversität Kaiserslautern.83. 1983:B 2910. Ka. |a signature: T 20.67883 |a author: GRIENEISEN, Hartmut |a published: 1983 | ||