Specification of PASCAL-R, [...]. The formal semantic specification using VDM

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.03.2025, 11:42 AM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Time of origin

  • 1980

Other Objects (12)