Develop a B specification
Fermé
Publié le il y a 5 ans
Paiement à la livraison
$10-30 USD
Paiement à la livraison
Fermé
Paiement à la livraison
develop a B specification of a very simple version of the old Spaceship & Asteroids arcade game, using the B tools Atelier B & ProB
Nº du projet : #18176803
À propos du projet
2 propositions
Projet à distance
Actif il y a 5 ans