Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. Efficient Symbolic Tools

Efficient Symbolic Tools

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 3.5/5 - ‎8 ‎Phiếu
Tải về

Gói Công cụ Biểu tượng Hiệu quả (EST) là một công cụ dựa trên BDD để xác minh chính thức các hệ thống đồng thời. Ưu điểm của nó là tính linh hoạt, tính di động và quản lý bộ nhớ hiệu quả. Nó chạy dưới hệ điều hành khác nhau, bao gồm Linux và Windows 2000/XP.

lịch sử phiên bản

  • Phiên bản N/A đăng trên 2006-10-09
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2006-10-09

Chi tiết chương trình

Các chương trình liên quan

  • OpenX Android Widget Miễn phí

    Tiện ích Android có thể được sử dụng trong các ứng dụng Android để đặt quảng cáo do OpenX phân phối vào bố cục.

  • Send Sources Miễn phí

    Phần mềm này giống như & gửi đến / destinataire & quot;,nhưng bạn không cần phải có triển vọng hoặc Oe, nó chỉ để gửi tập tin đính kèm đến một địa chỉ hoặc một danh sách các địa chỉ chỉ trong một clik; rất hữu ích để

  • textPlus Messenger+Group Text Miễn phí

    Gửi tin nhắn và bức ảnh cho bất cứ ai trên toàn thế giới miễn phí!APP miễn phí để APP * nhắn tin bất cứ nơi nào trên thế giới với textPlus! Đối với điện thoại và máy tính bảng Android.Ngoài ra, hãy nhắn tin miễn phí cho b

  • DC# Miễn phí

    DC # là một khách hàng DirectConnect nâng cao bằng văn bản trong C # cho nền tảng .NET. Các tính năng được lên kế hoạch bao gồm giao diện và khả năng tìm kiếm được cải thiện, các vụ nổ tải lên được kích hoạt nhàn rỗi, tải xu

  • AIS IM+ Miễn phí

    Mô tả bằng tiếng TháiAIS IM+ (Chia sẻ Chatn)MSN, Facebook, Twitter, GoogleTalk, Yahoo, MySpace, ICQ, Jabber, AOL Biểu tượng cảm xúc, , Facebook trực tuyến Facebook Dòng thời gian Twitter, @Mention, Trả lời, Theo dõi

  • MINDdroid Miễn phí

    Điều khiển robot LEGO MINDSTORMS bằng điện thoại Android của bạn. 2010/11 Tập đoàn LEGOMINDdroid là một ứng dụng Android 2.1 + cho điều khiển từ xa hành động trực tiếp thời gian thực của robot LEGO MINDSTORMS sử dụng kết nố

  • Linux MSN Messenger Engine by Jonathan Miễn phí

    LMME (Linux MSN Messenger Engine) là một công cụ giao thức MSN hoàn toàn không đồng bộ, đa đọc. Nếu bạn thích dự án của tôi xin vui lòng tặng cho tôi thông qua PayPal để [email protected]

  • Texty : Free SMS (via Way2SMS) Miễn phí

    #Please lại xếp hạng và emails.#We sẽ sớm thêm nhiều cổng hơn. Texty là một ứng dụng cho phép bạn gửi sms miễn phí từ Android của bạn bằng cách sử dụng tài khoản way2sms trực tuyến của bạn. Bạn có thể gửi tin nhắn sms cho một

  • Panic Button Miễn phí

    Panic Button cung cấp một biểu tượng trong khay hệ thống Windows. Bằng cách nhấp vào biểu tượng này, người dùng có thể gửi lấy màn hình và biểu mẫu báo cáo đến bộ phận trợ giúp hoặc tương tự. Điều này sẽ giúp người dùng dễ dà

  • .NET UseNet Downloader & Streamer Miễn phí

    .NET usenet client (hỗ trợ ssl). Cuối cùng nên hỗ trợ streaming đệm từ một máy chủ, và đăng nhập cho phương tiện truyền thông nhìn thấy.