ESPRIT project 125 - GRASPIN, [...]. Analyzer : user interface of static analysis / Rüdiger Endres
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783884579329
3884579320
- Umfang
-
15 Bl.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
ESPRIT project 125 - GRASPIN
- Ereignis
-
Veröffentlichung
- (wo)
-
Sankt Augustin
- (wer)
-
GMD [u.a.]
- (wann)
-
1987
- Beteiligte Personen und Organisationen
-
Endres, Rüdiger
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:53 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Endres, Rüdiger
- GMD [u.a.]
Entstanden
- 1987
Ähnliche Objekte (12)
![ESPRIT project 125 - GRASPIN, [...]. Analyzer verification tools : preliminary reference manual / Walter Sommer ; Bernd Dehm](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
ESPRIT project 125 - GRASPIN, [...]. Analyzer verification tools : preliminary reference manual / Walter Sommer ; Bernd Dehm
ESPRIT project 125 - GRASPIN, [...]. The primitive virtual console of the user interface for the Lisp machine workstation prototype / Heinz W. Schmidt ; Yvo Van Wezemael
ESPRIT project 125 - GRASPIN, Testbench.
ESPRIT project 125 - GRASPIN, Testbench.
ESPRIT project 125 - GRASPIN, Testbench.
Datenschutz und Datensicherheit, Bd. 1 = Teil 0/1
Datenschutz und Datensicherheit, Bd. 6 = Teil 6/7.
Specification of the primitive user interface for the GRASPIN environment
ESPRIT project 125 - GRASPIN, [...]. SEGRAS : the GRASPIN specification language / Bernd Krämer
ESPRIT project 125 - GRASPIN, [...]. ASDL definition for ADA language / Paolo Giovannetti
ESPRIT project 125 - GRASPIN, [...]. Description of V & V methods / Bernd Dehm ...
ESPRIT project 125 - GRASPIN, [...]. A proposal for ASDG / Vincenzo Ambriola ; Gabriela Daniele
ESPRIT project 125 - GRASPIN, [...]. Analyzer verification tools : preliminary reference manual / Walter Sommer ; Bernd Dehm
ESPRIT project 125 - GRASPIN, [...]. The primitive virtual console of the user interface for the Lisp machine workstation prototype / Heinz W. Schmidt ; Yvo Van Wezemael
ESPRIT project 125 - GRASPIN, Testbench.
ESPRIT project 125 - GRASPIN, Testbench.
ESPRIT project 125 - GRASPIN, Testbench.
Datenschutz und Datensicherheit, Bd. 1 = Teil 0/1
Datenschutz und Datensicherheit, Bd. 6 = Teil 6/7.
Specification of the primitive user interface for the GRASPIN environment
ESPRIT project 125 - GRASPIN, [...]. SEGRAS : the GRASPIN specification language / Bernd Krämer
ESPRIT project 125 - GRASPIN, [...]. ASDL definition for ADA language / Paolo Giovannetti
ESPRIT project 125 - GRASPIN, [...]. Description of V & V methods / Bernd Dehm ...
ESPRIT project 125 - GRASPIN, [...]. A proposal for ASDG / Vincenzo Ambriola ; Gabriela Daniele
ESPRIT project 125 - GRASPIN, [...]. Analyzer verification tools : preliminary reference manual / Walter Sommer ; Bernd Dehm
ESPRIT project 125 - GRASPIN, [...]. The primitive virtual console of the user interface for the Lisp machine workstation prototype / Heinz W. Schmidt ; Yvo Van Wezemael
ESPRIT project 125 - GRASPIN, Testbench.
ESPRIT project 125 - GRASPIN, Testbench.
ESPRIT project 125 - GRASPIN, Testbench.
Datenschutz und Datensicherheit, Bd. 1 = Teil 0/1
Datenschutz und Datensicherheit, Bd. 6 = Teil 6/7.
Specification of the primitive user interface for the GRASPIN environment
ESPRIT project 125 - GRASPIN, [...]. SEGRAS : the GRASPIN specification language / Bernd Krämer
ESPRIT project 125 - GRASPIN, [...]. ASDL definition for ADA language / Paolo Giovannetti
ESPRIT project 125 - GRASPIN, [...]. Description of V & V methods / Bernd Dehm ...