你即將離開本站

並前往https://dl.acm.org/doi/10.5555/579617

Specifying Systems:The TLA+ Language and Tools for ...

Addison-Wesley Longman Publishing Co., Inc. 75 Arlington Street, Suite 300 Boston, MA; United States. ISBN:978-0-321-14306-8. Published:01 August 2002.

確定！ 回上一頁

查詢 「Verify longman」的人也找了：

  1. Verify
    2.
  2. Transmit longman
    3.
  3. Inquiry longman
    4.
  4. Vital longman
    5.
  5. Check longman
    6.
  6. Justify longman
    7.
  7. Anticipate longman
    8.
  8. Approach longman
    9.