Προεπισκόπηση νέας έκδοσης
Είσοδος
English
Είσοδος
English
Toggle navigation
Πλοήγηση
Αναζήτηση
Ευρετήρια
Βοήθεια
Σχετικά
Συλλογές
Πρακτικά Συνεδρίων
Β' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
Εξαγωγή Citation
BibTex
RIS
Text
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
Μόνιμη διεύθυνση:
https://pergamos.lib.uoa.gr/uoa/dl/object/1057752
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.