Using specification ,refinement, and proof/ Jim,Woodcock and Jim Davies.

ISBN	0139484728
ผู้แต่ง	Woodcock,Jim.
ชื่อเรื่อง	Using specification ,refinement, and proof/ Jim,Woodcock and Jim Davies.
พิมพลักษณ์	Englewood cliffs, N.J. : Prentice-Hall, c1996.
เลขเรียก	515 W886U 1996.
รูปเล่ม	ix, 386 p.; 23cm.
หัวเรื่อง	Using specification refinement.
ผู้แต่งร่วม	Davies, Jim.

คุณยังไม่ได้ล็อกอิน คุณสามารถมีกิจกรรมร่วมกับเว็บไซต์ได้ แต่ต้องล็อกอินก่อน ::

รายการสื่อสารสนเทศ

ลำดับที่	ประเภท	เลขเรียก/บาร์โค้ด		สถานที่	สถานะ
1.	หนังสือ	515 W886U 1996. c.1 Barcode: B0028429		ห้องสมุดสาขาหลัก ►หนังสือทั่วไป	บนชั้น

BibComment

ยังไม่เคยถูกคอมเมนท์

คอมเมนท์ทรัพยากรรายการนี้

Bib

15278