Votre recherche a retourné 2 résultats. S'abonner à cette recherche

|
1. Processus concurrentsintroduction à la programmation parallèle / M. Ben-Ari ; trad. de l'anglais par Alain Bernard [ Livre]Publication : Paris, New York [etc.] : Masson, 1986Description : 171 p : ill ; 24 cmDisponibilité : Exemplaires empruntables:Bibliothèque Universitaire Mohamed Sekkat[004.3 BEN] (3).

2. Principles of the Spin model checker [ Livre] / Mordechai Ben-AriPublication : London : Springer, cop.2008Description : 1 vol. (XV-216 p.) : ill., couv.ill. en coul. ; 24 cmDisponibilité : Exemplaires en consultation sur place:[005.14 BEN] (1).

© tous droits réservés 2023 | Bibliothèque Universitaire Mohamed Sekkat
Site web http://bums.univh2c.ma/
E-mail : bibliosekkat@univh2c.ma
Tél : +212 666 036 169 / 666 035 560

Propulsé par Koha