Informations importantes : Arrêt du Club R (13 août) et Cessation d'Activité (30 septembre)
En savoir plus.
Se connecter
Aide
4 résultats
Zb 2005: Formal Specification And Development In Z And B
Voir le produit
Fm 2005: Formal Methods
Artificial Neural Networks: Formal Models And Their Applications - Icann 2005
Formal Techniques For Networked And Distributed Systems - Forte 2005
