ESPRIT project 125 - GRASPIN, [...]. Description of V & V methods / Bernd Dehm ...

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783884579077
388457907X
Umfang
[93] S. in getr. Zählung
Sprache
Englisch

Erschienen in
ESPRIT project 125 - GRASPIN

Ereignis
Veröffentlichung
(wo)
Sankt Augustin
(wer)
GMD [u.a.]
(wann)
1985
Beteiligte Personen und Organisationen
Dehm, Bernd

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:51 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Dehm, Bernd
  • GMD [u.a.]

Entstanden

  • 1985

Ähnliche Objekte (12)

ESPRIT project 125 - GRASPIN, [...]. Simulator kernel : preliminary reference manual / Thomas Haensse ; Bernd Dehm

ESPRIT project 125 - GRASPIN, [...]. Simulator kernel : preliminary reference manual / Thomas Haensse ; Bernd Dehm

ESPRIT project 125 - GRASPIN, [...]. Analyzer verification tools : preliminary reference manual / Walter Sommer ; Bernd Dehm

ESPRIT project 125 - GRASPIN, [...]. Analyzer verification tools : preliminary reference manual / Walter Sommer ; Bernd Dehm

ESPRIT project 125 - GRASPIN, Testbench.. Preliminary description of overall architecture / Gavino Capitta ...

ESPRIT project 125 - GRASPIN, Testbench.. Preliminary description of overall architecture / Gavino Capitta ...

ESPRIT project 125 - GRASPIN, Testbench.

ESPRIT project 125 - GRASPIN, Testbench.

ESPRIT project 125 - GRASPIN, Testbench.

ESPRIT project 125 - GRASPIN, Testbench.

ESPRIT project 125 - GRASPIN, Testbench.

ESPRIT project 125 - GRASPIN, Testbench.

ESPRIT project 125 - GRASPIN, [...]. Using symbolic evaluation to transform programs into algebraic descriptions : first experiences / Thomas Haensse

ESPRIT project 125 - GRASPIN, [...]. Using symbolic evaluation to transform programs into algebraic descriptions : first experiences / Thomas Haensse

ESPRIT project 125 - GRASPIN, [...]. SEGRAS : the GRASPIN specification language / Bernd Krämer

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, [...]. ASDL definition for ADA language / Paolo Giovannetti

ESPRIT project 125 - GRASPIN, [...]. A proposal for ASDG / Vincenzo Ambriola ; Gabriela Daniele

ESPRIT project 125 - GRASPIN, [...]. A proposal for ASDG / Vincenzo Ambriola ; Gabriela Daniele

ESPRIT project 125 - GRASPIN, [...]. Method for establishing correct implementation steps / Thomas Haensse

ESPRIT project 125 - GRASPIN, [...]. Method for establishing correct implementation steps / Thomas Haensse

ESPRIT project 125 - GRASPIN, [...]. Analyzer : user interface of static analysis / Rüdiger Endres

ESPRIT project 125 - GRASPIN, [...]. Analyzer : user interface of static analysis / Rüdiger Endres

Verbundene Objekte