Résultat(s) 1 - 1 résultats de 1 pour la requête 'Yoshida, Nobuko.', Temps de recherche: 0,07s Affiner les résultats
1
A unified theory of program logics : An approach based on the pi-calculus /
Autres auteurs: “...Yoshida, Nobuko....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel