Extended NuSMV 1.1

Programas Relacionados

• Voice Widget Grátis

  Inicie o Voice Recorder, Youtube, TV ou Radio, Explorer ou Search 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 Sense.

• ZIPCodeWorld Store Locator .NET Component Julgamento Gratuito

  ZIPCodeWorld Store Localizador .NET é um controlo de localizador de loja para todos os desenvolvedores .NET. O seu próprio serviço de localização de lojas nos Estados Unidos ou canadá pode estar a funcionar dentro de minutos.

• Mobile Data On/Off Toggle Grátis

  Dados móveis Ligados/Desligados ToggleMobile Para alternar comutadores Desativar Dados Desa ligar/Desligar Para alternar Os dados do switcherMobile OnOff Switch.- Esta necessidade de software Enable "Dados móveis" n

• OCF Resource Agent for SAP Grátis

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

• Wintermute Engine DevKit Grátis

  Wintermute Engine Development Kit é um conjunto de ferramentas para criar e executar jogos de aventura de ponto gráfico e clique, tanto os tradicionais 2D como os jogos modernos 2.5D (caracteres 3D em fundos 2D).

• Aginity Netezza Workbench Grátis

  A Aginity é um parceiro da Netezza Solution Provider. A Workbench nasceu da nossa necessidade de ferramentas específicas para apoiar a nossa vasta experiência no desenvolvimento de grandes sistemas no aparelho Netezza. Workbe

• xUnit - Unit Testing Framework Grátis

  xUnit é uma estrutura de teste de unidade de estilo XP. o xUnit utiliza um protocolo entre uma extremidade frontal para apresentar os resultados dos testes e um controlador de teste ligado às aplicações - removendo as dependê

• perf2rrd Grátis

  perf2rrd é um programa escrito em Java (tm) que captura a saída de dados de desempenho pelo sistema de monitorização Nagios (R) e o armazena em ficheiros de base de dados robin redondos como implemementado pela RRDtool.

• MisterHouse: Home Automation with Perl Grátis

  MisterHouse é um programa de domótica Windows/Unix escrito em Perl. Pode responder a comandos de voz, navegadores web, hora do dia, porta em série e dados X10, ficheiros externos, etc. e pode falar através de motores Text to

• IFM - Interface Management System Grátis

  A IFM (anteriormente wxIFM) é uma biblioteca de Gestão de Interfaces projetada para adicionar janelas dockable às suas aplicações, dando à sua interface a personalidade exigida pelos utilizadores de computador experientes.