DiccionariosForoContactos

   Inglés +
Google | Forvo | +

symbolic model verifier

acentos
progr. символьный верификатор моделей (сокр. SMV ssn)
 Inglés tesauro
Symbolic Model Verifier
abrev., progr. SMV (ssn)