Puente de acceso Java
El puente de acceso a Java conecta el soporte de accesibilidad incorporado en las aplicaciones de swing de Java al marco de accesibilidad GNOME. ...
 | Editor proverifComprobar y editar protocolos especificados en SPI-Cálculo |
| Descargar ahora | |
Editor proverif Clasificación y resumen
Anuncio publicitario
Editor proverif Etiquetas
Editor proverif Descripción
Consultar y editar protocolos especificados en SPI-Cálculo Proverif Editor Un editor para editar y verificar los protocolos especificados en SPI-Cálculo usando Proverif.Developer Commentsif Usted usa el editor, por favor hágamelo saber (mi dirección de correo electrónico se puede encontrar en mi página personal de SourceForge). Además, informe cualquier error o sugerencia que pueda encontrar al usar el editor. Requisitos: · Python · Pygtk · Pygtksourceview
Editor proverif Software relacionado
