Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "172348382"
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/840120621 |
| Titel | Methoden, Sprachen und Werkzeuge zur Software-Spezifikation : e. Übersicht ; [überarb. Fassung e. Beitr. zur 54. Tagung d. Schweizer. Ges. für Automatik (SGA) zum Thema Spezifikation von Realzeit-Systemen, Konzepte, Lösungen, Erfahrungen] / Wilhelm F. Racke ; H. Dieter Rombach |
| Person(en) |
Racke, Wilhelm F. (Verfasser) Rombach, Hans Dieter (Verfasser) |
| Organisation(en) | Universität Kaiserslautern. Fachbereich Informatik (Herausgebendes Organ) |
| Verlag | Kaiserslautern : Fachbereich Informatik, Univ. |
| Zeitliche Einordnung | Erscheinungsdatum: 1983 |
| Umfang/Format | 60 Bl. : graph. Darst. ; 30 cm |
| ISBN/Einband/Preis | kart. (Pr. nicht mitget.) |
| Sprache(n) | Deutsch (ger) |
| Beziehungen | Technische Universität Kaiserslautern. Fachbereich Informatik: Interner Bericht ; 66 |
| Anmerkungen |
Literaturverz. Bl. 54 - 60 Status nach VGG: vergriffen |
| Schlagwörter | Software-Arbeitsplatz ; Spezifikation <EDV> |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 0800 Energiewirtschaft, Elektrotechnik, Elektronik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: D 83b/7011
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: SB 8920-66
Bereitstellung in Leipzig |

