The VDM+B project: objectives and progress

Άρθρο Συνεδρίου uoadl:1057752 296 Αναγνώσεις

Πρωτότυπος Τίτλος:
The VDM+B project: objectives and progress
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Bicarregui, Juan C. (Juan Carlos)
Δημητράκος, Θ.
Lano, K.
Maibaum, Thomas S. E.
Ritchie, B.
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Μαθηματικά
Σελίδες (από-έως):
71-77
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.