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