SPESY. Ein interaktives System z. Unterstützung integrierter Programm-Spezifikation u.-Verifikation. Bd 1.
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | Γερμανικά |
| Έκδοση: |
Kaiserslautern
Univ.
1984
|
| Σειρά: | Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht
102 |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 2605861 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Sommer, Walter | |
| 245 | 1 | 0 | |a SPESY. Ein interaktives System z. Unterstützung integrierter Programm-Spezifikation u.-Verifikation. |b Bd 1. |
| 246 | 3 | |a SOMMER, Walter: | |
| 264 | 1 | |a Kaiserslautern |b Univ. |c 1984 | |
| 300 | |a Bd 1. |c 4° | ||
| 490 | 0 | |a Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht |v 102 | |
| 500 | |a T 20.678/102 -- SOMMER, Walter: -- SPESY.Ein interaktives System z.Unter= -- stützung integrierter Programm-Spezifika= -- tion u.-Verifikation.Bd 1. - Kaiserslautern: -- Univ.1984.4° -- (Fachbereich Informatik,Univ.Kaiserslautern. -- Interner Bericht.102.) -- 1984:B 1281(Bd 1). -- ʘ -- Ir. | ||
| 852 | |c T 20.678/102 | ||
| 999 | |a Multi-Volumen-Monographie | ||
| 591 | |a description: SPESY.Ein interaktives System z.Unter Stützung integrierter ProgrammSpezifika tion u.Verifikation.Bd. 1. KaiserslauternsUniv.1984.4 Fachbereich Informatik,Univ,Kaiserslautern.Interner Bericht.Io2. 1984:B 1281 Bd. l . 0Ir. |a signature: T 2o.678lo2 |a author: SOMMER, Walter |a published: 1281 | ||