Specification of PASCAL-R, [...]. The formal semantic specification using VDM
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
54 S.
- Sprache
-
Englisch
- Erschienen in
-
Specification of PASCAL-R
- Ereignis
-
Veröffentlichung
- (wo)
-
Hamburg
- (wer)
-
Fachbereich Informatik, Univ.
- (wann)
-
1980
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.1970, 00:21 MEZ
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
- Lamersdorf, Winfried
- Fachbereich Informatik, Univ.
Entstanden
- 1980
Ähnliche Objekte (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 : techniques and applications
Formal specification of CSCW applications
The formal specification language mCRL2
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
Specification of a specification language
Specification
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 : techniques and applications
Formal specification of CSCW applications
The formal specification language mCRL2
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
Specification of a specification language
Specification
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 : techniques and applications
Formal specification of CSCW applications
The formal specification language mCRL2
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
Specification of a specification language