Πλοήγηση Διπλωματικές εργασίες ανά Λέξεις-κλειδιά "Αλγεβρικές γλώσσες προδιαγραφών"
Αποτελέσματα 1-1 από 1
-
Μοντελοποίηση των κανόνων του παιχνιδιού Blackjack με τυπικές μεθόδους
(Πανεπιστήμιο Δυτικής Αττικής, 2024-03-21)Αντικείμενο τις διπλωματικής εργασίας αποτελεί η εφαρμογή των Tυπικών Mεθόδων για τη μοντελοποίηση και επαλήθευση των κανόνων παιχνιδιού BlackJack χρησιμοποιώντας αλγεβρικές προδιαγραφές. Οι αλγεβρικές προδιαγραφές οι ...