สหบรรณานุกรมห้องสมุดสถาบันอุดมศึกษาไทย

Found: 5 ชื่อเรื่อง เรียงลำดับโดย: แสดง: ต่อหน้า

List(0)

Select Page | Deselect Page |

ส่งออก | เคลียร์

1

ประเภทสื่อ	Book
ชื่อเรื่อง	ZB 2000 : formal specification and development in Z and B : first International Conference of B and...
ชื่อผู้แต่ง	International Conference of B and Z Users (1st : 2000 : York, England)
พิมพลักษณ์	Berlin : Springer, 2000.
เลขเรียก	005.133 I61Z
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

2

ประเภทสื่อ	Book
ชื่อเรื่อง	ZB 2003 : formal specification and development in Z and B : third International Conference of B and...
ชื่อผู้แต่ง	International Conference of B and Z Users (3rd : 2003 : Turku, Finland)
พิมพลักษณ์	Berlin ; New York : Springer, c2003.
เลขเรียก	005.133 I61Z 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

3

ประเภทสื่อ	Book
ชื่อเรื่อง	ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z...
ชื่อผู้แต่ง	International Conference of B and Z Users (2nd : 2002 : Grenoble, France)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.133 I61Z 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

4

ประเภทสื่อ	Book
ชื่อเรื่อง	กรอบแนวคิดของการแปลงความต้องการที่ระบุในแผนภาพยูสเคสไปเป็นแผนภาพคลาส โดยประยุกต์ใช้เทคนิคการรีไฟน์เพ...
ชื่อผู้แต่ง	รุ่งรัช ภู่ทอง
พิมพลักษณ์	[ปทุมธานี] : คณะวิทยาศาสตร์และเทคโนโลยี มหาวิทยาลัยธรรมศาสตร์, 2547
เลขเรียก	QA76.73.B6 ร-ก 2547
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ
ชื่อเรื่อง	การวิเคราะห์ความไม่ขัดแย้งของแผนภาพยูสเคสและแผนภาพสเตท ด้วยวิธีการรูปนัยตามหลักการภาษาบี = Consisten...
ชื่อผู้แต่ง	อรวรรณ จันทร์ปราง, 2517-
พิมพลักษณ์	2546
เลขเรียก	QA76.73 อ45ว6 2546

1

ส่งข้อเสนอแนะ/ปัญหา