Efficient Symbolic Tools
5 saniye içinde indirebilirsiniz.
İndirmeye başlamak için aşağıdaki Harici İndirme Linkine de tıklayabilirsiniz:
http://est.cvs.sourceforge.net/est
Hakkı -nda Efficient Symbolic Tools
Verimli Sembolik Araçlar paketi (EST), eşzamanlı sistemlerin resmi olarak doğrulanması için BDD tabanlı bir araçtır. Avantajları esneklik, taşınabilirlik ve verimli bir bellek yönetimidir. Linux ve Windows 2000/XP dahil olmak üzere farklı işletim sistemi altında çalışır.
İlgili Programlar
-
OpenX Android Widget Ücret -siz
OpenX tarafından sunulan reklamları bir düzene yerleştirmek için Android uygulamalarında kullanılabilen bir Android Widget.
-
Send Sources Ücret -siz
Bu yazılım "send to/destinataire",ama outlook veya Oe olması gerekmez, sadece bir adress veya sadece bir clik bir elbise listesine eki göndermek için; çok iş veya evde kaynaktan göndermek için çok kullanımlı, ya da
-
textPlus Messenger+Group Text Ücret -siz
ÜCRETSİz için dünya çapında herkese mesaj ve pics gönderin!TEXTPlus ile dünyanın her yerinde APP* mesajlaşmaya ÜCRETSİz APP! Android telefonlar ve tabletler için.Ayrıca, herhangi bir mobil cihazda herhangi bir 10 haneli A
-
DC# Ücret -siz
DC#, .NET platformları için C# olarak yazılmış gelişmiş bir DirectConnect istemcisidir. Planlanan özellikler arasında gelişmiş arayüz ve arama özellikleri, boşta tetiklenen yükleme patlamaları, çok kaynaklı indirmeler ve alt
-
AIS IM+ Ücret -siz
Açıklama TayAIS IM+ (Chatn Paylaş)MSN, Facebook, Twitter, GoogleTalk, Yahoo, MySpace, ICQ, Jabber, AOL İfade , Facebook Online Facebook Twitter Zaman Çizelgesi, @Mention, Yanıtla, Takip Et/Takip Et, Kullanıcı Profili
-
MINDdroid Ücret -siz
Android telefonunuzla LEGO MINDSTORMS robotlarını kontrol edin. 2010/11 LEGO GrubuMINDdroid, her iki cihaz arasında doğrudan BlueTooth kablosuz bağlantı kullanan LEGO MINDSTORMS robotlarının gerçek zamanlı doğrudan aksiyon
-
Linux MSN Messenger Engine by Jonathan Ücret -siz
LMME (Linux MSN Messenger Engine) tamamen eşzamanlı, çok iş parçacığı msn protokol motorudur. Projemi beğendiyseniz lütfen PayPal yoluyla bana bağışta bulunun [email protected]
-
Texty : Free SMS (via Way2SMS) Ücret -siz
#Please derecelendirme ve e-postalar bırakın.#We yakında daha fazla ağ geçidi ekleyeceğiz. Texty online way2sms hesabınızı kullanarak android ücretsiz sms göndermek için izin veren bir uygulamadır. Tek bir kişiye sms göndereb
-
Panic Button Ücret -siz
Panik Düğmesi, Windows sistem tepsisinde bir simge sağlar. Bu simgeyi tıklatarak, kullanıcı bir yardım masasına veya benzeri bir ekran kapma ve rapor formu gönderebilir. Bu, kullanıcıların destek personeline yararlı hata/soru
-
.NET UseNet Downloader & Streamer Ücret -siz
.NET usenet istemcisi (ssl desteği). Sonunda bir sunucudan arabelleğe alınan akışı ve görülen ortam için günlüğe kaydetmeyi desteklemelidir.