Alloy Meets the Algebra of Programming : A Case Study

Alloy Meets the Algebra of Programming : A Case Study

Oliveira, José N.; Ferreira, Miguel A.
URI: http://repository.usthb.dz//xmlui/handle/123456789/8924
Date: 2013

Description:

305-326 p. ; 576ko.

Afficher la notice complète

Fichier(s) constituant ce document

Icon
Nom: nl3061.pdf
Taille: 575.8Ko
Format: PDF
Voir/Ouvrir

Ce document figure dans la(les) collection(s) suivante(s)

Chercher dans le dépôt


Parcourir

Mon compte