Browsing by Subject Formal methods (Computer science)
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 2546 | การแปลงแผนภาพคลาสเป็นข้อกำหนดเซด | สุภัทรา นภาภาค |
| 2546 | การแปลงแผนภาพเครือข่ายอนุภาคความต้องการเป็นข้อกำหนดคาเฟโอบีเจ | พงศธร เงางาม |