Extended NuSMV 1.1

Programy pokrewne

• Voice Widget Wolna

  Uruchom dyktafon, Youtube, TV lub Radio, Explorer lub szukaj za pomocą jednego kliknięcia.2 piękne widżety do połączenia dyktafonu telefonu, Youtube, TV lub radio, explorer lub wyszukiwania. Styl projektowania jest jak HTC

• ZIPCodeWorld Store Locator .NET Component Bezpłatna wersja próbna

  ZIPCodeWorld Store Locator .NET jest formantem lokalizatora magazynu dla wszystkich deweloperów platformy .NET. Twoja własna usługa lokalizatora sklepów w Stanach Zjednoczonych lub Kanadzie może zostać uruchomiona w ciągu kil

• Mobile Data On/Off Toggle Wolna

  Mobile Data On / Off ToggleMobile Data On / Off Przełącznik Przełączania DanychMobile On / Off Przełącznik przełączania Przełącznik OnOff DaneMobile.- Ta konieczność oprogramowania Włącz "Mobile data" w ustawieniach

• OCF Resource Agent for SAP Wolna

  Zapewnia agentów zasobów zgodnych ze standardem OCF (Open Cluster Framework), aby uruchomić oprogramowanie SAP w klastrze o wysokiej dostępności systemu Linux (takim jak projekt Linux-HA).

• Wintermute Engine DevKit Wolna

  Wintermute Engine Development Kit to zestaw narzędzi do tworzenia i uruchamiania graficznych gier przygodowych typu point&click, zarówno tradycyjnych gier 2D, jak i nowoczesnych gier 2.5D (postacie 3D na tle 2D).

• Aginity Netezza Workbench Wolna

  Aginity jest partnerem Netezza Solution Provider. Workbench powstał z naszego zapotrzebowania na konkretne narzędzia wspierające nasze bogate doświadczenie w opracowywaniu dużych systemów na urządzeniu Netezza. Workbench ofer

• xUnit - Unit Testing Framework Wolna

  xUnit jest platformą testowania jednostek w stylu XP. xUnit używa protokołu między frontonem do wyświetlania wyników testów a sterownikiem testowym połączonym z aplikacjami - usuwając zależności czasu łącza między aplikacją a

• perf2rrd Wolna

  perf2rrd to program napisany w języku Java (tm), który przechwytuje dane wyjściowe wydajności przez system monitorowania Nagios (R) i przechowuje je w plikach bazy danych okrężnych jako niedokrwione przez RRDtool.

• MisterHouse: Home Automation with Perl Wolna

  MisterHouse to program automatyki domowej Windows/Unix napisany w Perlu. Może reagować na polecenia głosowe, przeglądarki internetowe, porę dnia, port szeregowy i dane X10, pliki zewnętrzne itp.

• IFM - Interface Management System Wolna

  IFM (dawniej wxIFM) to biblioteka zarządzania interfejsami przeznaczona do dodawania dokowanych okien do aplikacji, dzięki a także interfejsowi, którego wymaga dzisiejszy doświadczonych użytkowników komputerów.