ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. Efficient Symbolic Tools

Efficient Symbolic Tools

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 3.5/5 - ‎8 ‎โหวต
ดาวน์โหลด

แพคเกจเครื่องมือสัญลักษณ์ที่มีประสิทธิภาพ (EST) เป็นเครื่องมือที่ใช้ BDD สําหรับการตรวจสอบอย่างเป็นทางการของระบบพร้อมกัน ข้อดีของมันคือความยืดหยุ่นการพกพาและการจัดการหน่วยความจําที่มีประสิทธิภาพ ทํางานภายใต้ระบบปฏิบัติการที่แตกต่างกันรวมถึง Linux และ Windows 2000 / XP

ประวัติรุ่น

  • เวอร์ชัน N/A โพสต์เมื่อ 2006-10-09
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน N/A โพสต์เมื่อ 2006-10-09

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • OpenX Android Widget ฟรี

    วิดเจ็ต Android ที่สามารถใช้ในแอปพลิเคชัน Android เพื่อวางโฆษณาที่ให้บริการโดย OpenX ลงในเลย์เอาต์

  • Send Sources ฟรี

    ซอฟต์แวร์นี้เป็นเหมือน & quot;ส่งไปยัง / destinataire" แต่คุณไม่จําเป็นต้องมี Outlook หรือ Oe มันเป็นเพียงการส่งสิ่งที่แนบมาไปยัง adress หนึ่งหรือรายชื่อของ adress ใน clik เดียวเท่านั้น มีประโยชน์มากที่จะส่งไปยัง

  • textPlus Messenger+Group Text ฟรี

    ส่งข้อความและภาพให้กับทุกคนทั่วโลกฟรี!ฟรี APP เพื่อ APP * ส่งข้อความทุกที่ในโลกด้วย textPlus! สําหรับโทรศัพท์และแท็บเล็ต Androidนอกจากนี้ข้อความไปยังหมายเลขโทรศัพท์ของสหรัฐอเมริกาหรือแคนาดา 10 หลักบนอุปกรณ์มือถือใด ๆ ฟรีแ

  • DC# ฟรี

    DC# เป็นไคลเอ็นต์ DirectConnect ที่ได้รับการปรับปรุงที่เขียนด้วย C# สําหรับแพลตฟอร์ม .NET คุณลักษณะที่วางแผนไว้รวมถึงอินเทอร์เฟซที่ดีขึ้นและความสามารถในการค้นหาการระเบิดการอัปโหลดที่ไม่ได้ใช้งานการดาวน์โหลดหลายแหล่งและการค้น

  • AIS IM+ ฟรี

    คําอธิบายเป็นภาษาไทยAIS IM+ (แชตแชร์)MSN, Facebook, Twitter, GoogleTalk, Yahoo, MySpace, ICQ, Jabber, AOL Emoticon , เฟซบุ๊กออนไลน์ ไทม์ไลน์ Twitter, @Mention, ตอบกลับ, ติดตาม / ยกเลิกผู้ติดตาม, โปรไฟล์ผู้ใช้, ติดตาม

  • MINDdroid ฟรี

    ควบคุมหุ่นยนต์ LEGO MINDSTORMS ด้วยโทรศัพท์ Android ของคุณ 2010/11 กลุ่มเลโก้MINDdroid เป็นแอปพลิเคชั่น Android 2.1+ สําหรับการควบคุมระยะไกลของหุ่นยนต์ LEGO MINDSTORMS แบบเรียลไทม์โดยใช้การเชื่อมต่อไร้สาย BlueTooth โดยตรงระ

  • Linux MSN Messenger Engine by Jonathan ฟรี

    LMME (Linux MSN Messenger Engine) เป็นกลไกโปรโตคอล MSN แบบอะซิงโครนัสแบบอะซิงโครนัสที่อ่านได้หลายระบบ ถ้าคุณชอบโครงการของฉันโปรดบริจาคให้ฉันผ่านทางPayPal [email protected]

  • Texty : Free SMS (via Way2SMS) ฟรี

    #Pleaseการให้คะแนนและอีเมล.#Weจะเพิ่มเกตเวย์เพิ่มเติมในไม่ช้า Texty เป็นแอปพลิเคชั่นที่ช่วยให้คุณสามารถส่ง SMS ฟรีจาก Android ของคุณโดยใช้บัญชี way2sms ออนไลน์ของคุณ คุณสามารถส่ง SMS ไปยังบุคคลเดียวหรือแม้แต่ส่ง SMS กลุ่ม เรา

  • Panic Button ฟรี

    ปุ่มตื่นตระหนกมีไอคอนในถาดระบบ Windows เมื่อคลิกที่ไอคอนนี้ผู้ใช้อาจส่งการจับภาพหน้าจอและแบบฟอร์มรายงานไปยังฝ่ายช่วยเหลือหรือที่คล้ายกัน สิ่งนี้จะช่วยให้ผู้ใช้สามารถให้รายงานข้อผิดพลาด / ปัญหาที่เป็นประโยชน์เพื่อสนับสนุนพนักง

  • .NET UseNet Downloader & Streamer ฟรี

    ไคลเอนต์ .NET usenet (การสนับสนุน SSL) ในที่สุดควรสนับสนุนการส่งกระแสข้อมูลจากเซิร์ฟเวอร์และการบันทึกสําหรับสื่อที่เห็น