SPESY. Ein interaktives System z. Unterstützung integrierter Programm-Spezifikation u.-Verifikation. Bd 1.
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | tedesco |
| Pubblicazione: |
Kaiserslautern
Univ.
1984
|
| Serie: | Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht
102 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Descrizione del documento: | 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. |
|---|---|
| Descrizione fisica: | Bd 1. 4° |