Please update this page or add a ne

Please update this page or add a new page if you know of relevant online information not included here or would like to maintain information on a particular topic. Use the comp.specification.misc newsgroup, for general formal methods queries. Please link to http://formalmethods.wikia.com if you create a permanent hyperlink to this website. In case of problems, please contact Jonathan Bowen.

ผลลัพธ์ (ไทย) 1:

กรุณาปรับปรุงหน้านี้ หรือเพิ่มหน้าใหม่ถ้าคุณรู้ว่าของข้อมูลออนไลน์ที่เกี่ยวข้องที่ไม่รวมอยู่ที่นี่ หรือต้องการรักษาข้อมูลเกี่ยวกับหัวข้อเฉพาะ ใช้กลุ่มข่าวสาร comp.specification.misc สำหรับแบบสอบถามเป็นวิธีทั่วไป กรุณาลิงค์กับ http://formalmethods.wikia.com ถ้าคุณสร้างการเชื่อมโยงอย่างถาวรเพื่อเว็บไซต์นี้ ในกรณีที่มีปัญหา กรุณาติดต่อ Jonathan Bowen

ผลลัพธ์ (ไทย) 2:

โปรดอัปเดตหน้านี้หรือเพิ่มหน้าใหม่ถ้าคุณรู้ว่าของข้อมูลออนไลน์ที่เกี่ยวข้องไม่ได้รวมอยู่ที่นี่หรือต้องการที่จะรักษาข้อมูลเกี่ยวกับหัวข้อเฉพาะ ใช้กลุ่มข่าวสาร comp.specification.misc สำหรับคำสั่งทั่วไปวิธีการอย่างเป็นทางการ กรุณาเชื่อมโยงไปยัง http://formalmethods.wikia.com ถ้าคุณสร้างเชื่อมโยงหลายมิติถาวรไปยังเว็บไซต์นี้ ในกรณีของปัญหากรุณาติดต่อโจนาธานเวน

ผลลัพธ์ (ไทย) 3:

โปรดอัปเดตหน้านี้หรือเพิ่มหน้าใหม่ ถ้าคุณรู้ข้อมูลออนไลน์ที่เกี่ยวข้องรวมไว้ที่นี่ หรือต้องการรักษาข้อมูลในหัวข้อใด ใช้ comp.specification.misc กลุ่มข่าวสำหรับวิธีการอย่างเป็นทางการทั่วไป แบบสอบถาม กรุณาเชื่อมต่อ http://formalmethods.wikia.com ถาวรถ้าคุณสร้างการเชื่อมโยงหลายมิติไปยังเว็บไซต์นี้ ในกรณีที่มีปัญหากรุณาติดต่อโจนาธาน โบเวน