Вы здесь

Главная

Techn.Univ.Denmark

Связанные издания:

Attributed Document Grammars
Esprit BRA 3104: Provably Correct Systems ProCoS Interim Deliverable
ESPRIT BRA 3104: Provably Correct Systems ProCos Interim Deliverable
Formal Specification is an Experimental Science
On the Design of a Functional Formatting Language: FFL
The Dynamic Semantics of the BSI/VDM. Specification Language
Towards a Theory of Work Flow Systems - a Torso