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

eTLA 2.1.0

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

ปลั๊กอิน TLA+ Eclipse IDE การรวมภาษาคํานิยามอย่างเป็นทางการ 'ตรรกะทางโลกของการกระทํา' สําหรับการระบุระบบใน Eclipse IDE

ประวัติรุ่น

  • เวอร์ชัน 2.1.0 โพสต์เมื่อ 2005-08-22
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน 2.1.0 โพสต์เมื่อ 2005-08-22

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

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

  • TinyIDE MUSH Programming Tool ฟรี

    โครงการ TinyIDE เป็นความพยายามที่จะสร้างไคลเอนต์ MUSH ใหม่สําหรับ coders ใน TinyMUSH, PennMUSH และอื่น ๆ สิ่งนี้จะมีการจัดรูปแบบโค้ด การเรียกดูวัตถุ และฟังก์ชันการทํางานของไคลเอ็นต์ MUSH ทั่วไป

  • Pesoguin Calendar free cartoon ฟรี

    นี่คือแอพปฏิทินของ & quot;Pesoguin" ตัวละครยอดนิยมในญี่ปุ่น Youà ¢Â€Â™จะพบว่าเป็นเครื่องมือที่เต็มไปด้วยความบันเทิง ในแอพนี้คุณสามารถเพลิดเพลินกับการตั้งค่าส่วนบุคคลได้ à ¢Â€Â» Pesoguin เป็นของสัตว์ในจินตนาการที่

  • Transparent skin Green ทดลองใช้ฟรี

    สกินสําหรับแป้นพิมพ์ที่ดีขึ้นและสมาร์ทแป้นพิมพ์มืออาชีพของมีประโยชน์ในการดูสิ่งที่เกิดขึ้นภายใต้แป้นพิมพ์ (เช่นแชทบรรทัดคําสั่ง ฯลฯ ... )ถ้าคุณชอบหรือใช้งานนี้คุณสามารถซื้อเบียร์ให้ฉันได้เสมอ : http://pp01.gdumoulin.eu

  • TubeMonitor ทดลองใช้ฟรี

    TubeMonitor เป็นวิดเจ็ตที่ช่วยให้คุณตรวจสอบจํานวนการดูสําหรับวิดีโอของคุณบน Youtube ต้องการเฉพาะชื่อผู้ใช้ของคุณเท่านั้นคุณไม่จําเป็นต้องไปที่ youtube ทุกครั้งแล้วเพื่อรับจํานวนการดูที่อัปเดตของวิดีโอของคุณ แตะวิดเจ็ตเพื่

  • I'm Out! - Call interceptor ฟรี

    คุณมีนิสัยที่จะลืมโทรศัพท์ของคุณที่บ้านและกังวลว่ามีใครพยายามโทรหาคุณหรือไม่? หรือคุณต้องการที่จะสามารถออกจากโทรศัพท์ Android ราคาแพงของคุณที่บ้านในขณะที่เข้าร่วมกิจกรรมกลางแจ้งยุ่ง แต่ยังคงรู้ว่าเมื่อมีคนโทรหาคุณ? งั้นฉันออก

  • DIG Interface ฟรี

    XML schema, XMLBeans และการใช้งาน Java ของอินเทอร์เฟซ DIG-- อินเทอร์เฟซ XML มาตรฐานสําหรับระบบตรรกะคําอธิบาย พัฒนาโดยกลุ่มปฏิบัติการ DL (DIG)

  • Onemind common java library ฟรี

    onemind-commons มีห้องสมุด java หลาย: ทั่วไป java: java datastructure / ห้องสมุด util; ถั่วเชิงสัมพันธ์: ส่วนขยายไปยังไลบรารีถั่วจาวาสําหรับการแสดงรูปแบบวัตถุเชิงสัมพันธ์ การกระตุ้น: กรอบห่อหุ้มสะท้อนแสงที่เหมาะสมที่สุด

  • UPSD Log Parser ฟรี

    ตัวแยกวิเคราะห์แฟ้มบันทึก UPSD (ulp) จะตรวจสอบข้อความที่ส่งโดย upsd ไปยัง syslogd มันแยกข้อมูลจากสิ่งเหล่านี้และแทรกลงในไฟล์ RRD จากที่ผู้ดูแลระบบสามารถรับกราฟของสถานะ UPS

  • CamPainter Lite ทดลองใช้ฟรี

    CamPainter เป็นซอฟต์แวร์วาดภาพนิ้วมือที่มีประสิทธิภาพ1.ถึง1024x768พิกเซลผืนผ้าใบ/wไอคอนนําทาง2.ตอบสนองอย่างรวดเร็วและผู้ใช้อินเตอร์เฟซที่เป็นมิตร3.สี/ความอิ่มตัวของการเลือกล้อ4.หลอดดูดสี: รับสีที่ใช้ก่อนหน้านี้5.ซ

  • idyaDBX - SQL DBMS in PHP ฟรี

    idyaDBX เป็นไลบรารีที่มีน้ําหนักเบาที่เขียนด้วย PHP ที่ใช้กลไกจัดการฐานข้อมูล SQL ที่ฝังได้ สคริปต์ PHP สามารถรวม idyaDBX เป็นส่วนหัวเพื่อจัดการข้อมูลของพวกเขาโดยใช้ SQL โดยไม่ต้องใช้ DBMS ภายนอก