- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
54 S.
- Language
-
Englisch
- Bibliographic citation
-
Specification of PASCAL-R
- Event
-
Veröffentlichung
- (where)
-
Hamburg
- (who)
-
Fachbereich Informatik, Univ.
- (when)
-
1980
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:56 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lamersdorf, Winfried
- Fachbereich Informatik, Univ.
Time of origin
- 1980
Other Objects (12)
![Specification of PASCAL-R, [...]. The semantic specification method VDM](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Specification of PASCAL-R, [...]. The semantic specification method VDM
Formal systems specification : the RPC-memory specification case study
Algebraic specification of semantic domain constructions
Algebraic specification of semantic domain constructions
Formal specification of CSCW applications
Formal specification : techniques and applications
The Z formal specification notation : proceedings
The formal specification language mCRL2
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
Specification of a specification language
Formal specification and verification : structures and techniques
Specification of PASCAL-R, [...]. The semantic specification method VDM
Formal systems specification : the RPC-memory specification case study
Algebraic specification of semantic domain constructions
Algebraic specification of semantic domain constructions
Formal specification of CSCW applications
Formal specification : techniques and applications
The Z formal specification notation : proceedings
The formal specification language mCRL2
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
Specification of a specification language
Formal specification and verification : structures and techniques
Specification of PASCAL-R, [...]. The semantic specification method VDM
Formal systems specification : the RPC-memory specification case study
Algebraic specification of semantic domain constructions
Algebraic specification of semantic domain constructions
Formal specification of CSCW applications
Formal specification : techniques and applications
The Z formal specification notation : proceedings
The formal specification language mCRL2
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
Specification of a specification language