Extended NuSMV 1.1

Gerelateerde programma's

• Voice Widget Gratis

  Start Voice Recorder, Youtube, TV of Radio, Explorer of Search met één klik.2 prachtige widgets om uw telefoon voice recorder, Youtube, TV of radio, explorer of zoeken te koppelen. De ontwerpstijl is net als de HTC Sense.

• ZIPCodeWorld Store Locator .NET Component Gratis proefperiode

  ZIPCodeWorld Store Locator .NET is een store locator control voor alle .NET ontwikkelaars. Uw eigen store locator-service in de Verenigde Staten of Canada kan binnen enkele minuten operationeel zijn. ZIPCodeWorld Store Locato

• Mobile Data On/Off Toggle Gratis

  Mobiele data aan/uit schakelen Mobiele gegevens aan/uitschakelen Schakelschakelaar Mobiele gegevens aan/uitschakelen Schakelschakelaar Mobiele data op Uitgeschakeld Schakelen schakelaar.- Deze software noodzaak Inschakelen &q

• OCF Resource Agent for SAP Gratis

  Biedt OCF (Open Cluster Framework) compatibele resource agents, om SAP-software uit te voeren in een Linux-cluster met hoge beschikbaarheid (zoals het Linux-HA-project).

• Wintermute Engine DevKit Gratis

  Wintermute Engine Development Kit is een set van tools voor het creëren en uitvoeren van grafische point & click adventure games, zowel traditionele 2D-games en moderne 2.5D-games (3D-personages op 2D-achtergronden).

• Aginity Netezza Workbench Gratis

  Aginity is een Netezza Solution Provider partner. De Workbench is ontstaan uit onze behoefte aan specifieke tools om onze uitgebreide ervaring te ondersteunen bij het ontwikkelen van grote systemen op het Netezza toestel. Wor

• xUnit - Unit Testing Framework Gratis

  xUnit is een XP-stijl unit testing framework. xUnit gebruikt een protocol tussen een front-end om testresultaten weer te geven en een teststuurprogramma dat is gekoppeld aan toepassingen - waardoor de afhankelijkheden tussen

• perf2rrd Gratis

  perf2rrd is een programma geschreven in Java (tm) die de prestaties gegevens output vangt door de Nagios (R) monitoring systeem en slaat het op in ronde robin database bestanden als implememented door RRDtool.

• MisterHouse: Home Automation with Perl Gratis

  MisterHouse is een Windows/Unix domoticaprogramma geschreven in Perl. Het kan reageren op spraakopdrachten, webbrowsers, tijd van de dag, seriële poort en X10-gegevens, externe bestanden, enz.

• IFM - Interface Management System Gratis

  IFM (voorheen wxIFM) is een Interface Management-bibliotheek die is ontworpen om dockable vensters toe te voegen aan uw toepassingen, waardoor uw interface de aanpasbare mogelijkheid heeft die wordt geëist door ervaren comput