Mettre en vente
Se connecter
Aide
7 résultats
Modeling Telecom Networks And Systems Architecture: Conceptual Tools And Formal Methods
Voir le produit
Vendez le vôtre
Leveraging Applications Of Formal Methods, Verification And Validation: Tools And Trends
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)
Formal Description Techniques Ix - Theory, Application And Tools