Extended NuSMV 1.1

Programmi correlati

• Voice Widget Gratuito

  Avvia registratore vocale, Youtube, TV o radio, Esploratore o Cerca con un clic.2 bellissimi widget per collegare il registratore vocale del telefono, Youtube, TV o radio, esploratore o ricerca. Lo stile di design è come l'

• ZIPCodeWorld Store Locator .NET Component Prova gratuita

  ZIPCodeWorld Store Locator .NET è un controllo localizzatore di archivi per tutti gli sviluppatori .NET. Il tuo servizio di localizzatore di negozi negli Stati Uniti o in Canada può essere operativo in pochi minuti. ZipCodeWo

• Mobile Data On/Off Toggle Gratuito

  Mobile Data On/Off ToggleMobile Data On/Off Interruttore Interruttore Attiva/Disattiva Dati mobili Attiva/Disattiva Interruttore Mobile Data OnOff.- Questa necessità software Abilita "Dati mobili" nelle impostazioni

• OCF Resource Agent for SAP Gratuito

  Fornisce agenti di risorse compatibili con OCF (Open Cluster Framework), per eseguire software SAP in un cluster Linux ad alta disponibilità (come il progetto Linux-HA).

• Wintermute Engine DevKit Gratuito

  Wintermute Engine Development Kit è una serie di strumenti per la creazione e l'esecuzione di giochi di avventura grafici point&click, sia tradizionali 2D che moderni giochi 2.5D (personaggi 3D su sfondi 2D).

• Aginity Netezza Workbench Gratuito

  Aginity è partner netezza solution provider. Il Workbench nasce dalla nostra esigenza di strumenti specifici a supporto della nostra vasta esperienza nello sviluppo di grandi sistemi sull'apparecchio Netezza. Workbench offre

• xUnit - Unit Testing Framework Gratuito

  xUnit è un framework di unit test in stile XP. xUnit utilizza un protocollo tra un front-end per visualizzare i risultati dei test e un driver di test collegato alle applicazioni, rimuovendo le dipendenze del tempo di collega

• perf2rrd Gratuito

  perf2rrd è un programma scritto in Java (tm) che acquisisce i dati sulle prestazioni output dal sistema di monitoraggio Nagios (R) e li memorizza nei file di database round robin come implememented da RRDtool.

• MisterHouse: Home Automation with Perl Gratuito

  MisterHouse è un programma domotico Windows/Unix scritto in Perl. Può rispondere a comandi vocali, browser web, ora del giorno, porta seriale e dati X10, file esterni, ecc. e può parlare tramite motori text to speech.

• IFM - Interface Management System Gratuito

  IFM (precedentemente wxIFM) è una libreria di gestione delle interfaccia progettata per aggiungere finestre ancorabili alle applicazioni, offrendo all'interfaccia la personalizzazione richiesta dagli utenti di computer espert