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
Leveraging Applications Of Formal Methods, Verification And Validation: Tools And Trends
Voir le produit
From Software Engineering To Formal Methods And Tools, And Back
Larch: Languages And Tools For Formal Specification
Larch: Languages And Tools For Formal Specification (Monographs In Computer Science)