Extended NuSMV 1.1

Programas Relacionados

• Voice Widget Livre

  Inicie o Gravador de Voz, Youtube, TV ou Rádio, Explorer ou Pesquise com um clique.2 belos widgets para ligar o gravador de voz do telefone, Youtube, TV ou rádio, explorador ou pesquisa. O estilo de design é como o HTC Sens

• ZIPCodeWorld Store Locator .NET Component Avaliação gratuita

  ZIPCodeWorld Store Locator .NET é um controle localizador de loja para todos os desenvolvedores .NET. Seu próprio serviço de localização de lojas nos Estados Unidos ou Canadá pode estar funcionando em poucos minutos. O ZIPCod

• Mobile Data On/Off Toggle Livre

  Dados móveis ligados/desligados Dados móveis ligados/desligados alternando switcherMobile Data On/Off Alternar switcherMobile Data OnOff Toggle switch.- Essa necessidade de software Ativar "Dados móveis" nas configu

• OCF Resource Agent for SAP Livre

  Fornece agentes de recursos compatíveis com OCF (Open Cluster Framework), para executar software SAP em um cluster de alta disponibilidade do Linux (como o projeto Linux-HA).

• Wintermute Engine DevKit Livre

  Wintermute Engine Development Kit é um conjunto de ferramentas para criar e executar jogos de aventura de pontos e cliques gráficos, tanto tradicionais 2D quanto jogos 2.5D modernos (caracteres 3D em fundos 2D).

• Aginity Netezza Workbench Livre

  Aginity é parceira do Netezza Solution Provider. A Bancada nasceu da nossa necessidade de ferramentas específicas para apoiar nossa vasta experiência no desenvolvimento de grandes sistemas no aparelho Netezza. O Workbench ofe

• xUnit - Unit Testing Framework Livre

  xUnit é uma estrutura de teste de unidade de estilo XP. xUnit usa um protocolo entre um front-end para exibir resultados de teste e um driver de teste vinculado a aplicativos - removendo as dependências de tempo de link entre

• perf2rrd Livre

  perf2rrd é um programa escrito em Java (tm) que captura a saída de dados de desempenho pelo sistema de monitoramento Nagios (R) e armazena-os em arquivos de banco de dados round robin como impolomentado pelo RRDtool.

• MisterHouse: Home Automation with Perl Livre

  MisterHouse é um programa de automação residencial Windows/Unix escrito em Perl. Ele pode responder a comandos de voz, navegadores da Web, hora do dia, porta serial e dados X10, arquivos externos, etc e pode falar via mecanis

• IFM - Interface Management System Livre

  IFM (anteriormente wxIFM) é uma biblioteca de gerenciamento de interface projetada para adicionar janelas dockable aos seus aplicativos, dando à sua interface a personalability exigida por usuários de computador experientes.