- Sprache
-
Englisch
- Umfang
-
24 Bl.
- ISBN
-
978-3-88457-901-5
- Identifier
-
860809005
- Reihe
-
ESPRIT project 125 - GRASPIN
Beteiligte Personen und Organisationen
Heyderhoff, Peter
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:44 MESZ
Objekttyp
- Monografie
Beteiligte
- Heyderhoff, Peter
Ähnliche Objekte (12)
The GRASPIN approach to software validation and verification
Foundation study for a personal software development workstation prototype : pilot phase project report / Wolf D. Itzfeldt ; Peter Heyderhoff (eds.)
Stepwise construction of non sequential software systems using a net based specification language / Bernd Krämer
The command language for GRASPIN's lisp prototypes : reference manual
The command processor for GRASPIN's lisp prototypes : programmer's reference guide
Preliminary GRASPIN methodology description
The GRASPIN kernel
Customization of the GRASPIN environment for a subset of the SA and ER languages
Definition of the command language for the GRASPIN environment
Architecture of the GRASPIN environment
Specification of the primitive user interface for the GRASPIN environment
The abstract syntax definition language for GRASPIN's lisp prototypes : programmer's reference guide
The GRASPIN approach to software validation and verification
Foundation study for a personal software development workstation prototype : pilot phase project report / Wolf D. Itzfeldt ; Peter Heyderhoff (eds.)
Stepwise construction of non sequential software systems using a net based specification language / Bernd Krämer
The command language for GRASPIN's lisp prototypes : reference manual
The command processor for GRASPIN's lisp prototypes : programmer's reference guide
Preliminary GRASPIN methodology description
The GRASPIN kernel
Customization of the GRASPIN environment for a subset of the SA and ER languages
Definition of the command language for the GRASPIN environment
Architecture of the GRASPIN environment
Specification of the primitive user interface for the GRASPIN environment
The abstract syntax definition language for GRASPIN's lisp prototypes : programmer's reference guide
The GRASPIN approach to software validation and verification
Foundation study for a personal software development workstation prototype : pilot phase project report / Wolf D. Itzfeldt ; Peter Heyderhoff (eds.)
Stepwise construction of non sequential software systems using a net based specification language / Bernd Krämer
The command language for GRASPIN's lisp prototypes : reference manual
The command processor for GRASPIN's lisp prototypes : programmer's reference guide
Preliminary GRASPIN methodology description
The GRASPIN kernel
Customization of the GRASPIN environment for a subset of the SA and ER languages
Definition of the command language for the GRASPIN environment
Architecture of the GRASPIN environment
Specification of the primitive user interface for the GRASPIN environment