Spezifikation und abstrakte Implementierung des Aufbereitungsteils von INTAKT.
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Kirja |
| Kieli: | saksa |
| Julkaistu: |
Kaiserslautern
1983
|
| Sarja: | Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern
84 |
| Linkit: | matching Alma AC00561670 (author 100.0%, title 100.0%, shelfmark 90.0%, overall 98.0%) |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|
| Order eBook: |
|
| Order Book: | Login to order |
Samankaltaisia teoksia: Spezifikation und abstrakte Implementierung des Aufbereitungsteils von INTAKT.
- Spezifikation und abstrakte Implementierung des Aufbereitungsteils von INTAKT
- Eine algebraische Spezifikation des Software-Produkts INTAKT.
- Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme
- Strategieentwicklung und Implementierung
- Spezifikation der Importfunktion.
- Intakte und defekte Phagen von Wasserstoffbakterien.