Común
Object-Z
Object-Z es una extensión orientada a objetos de la notación Z y fue desarrollado en la Universidad de Queensland en Australia. Notación Z es un idioma para la especificación formal de sistemas informáticos.
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis