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

| |

Type	Book
ชื่อเรื่อง	Software development with Z : a practical approach to formal methods in software engineering / J.B. Wordsworth
ผู้แต่ง	Wordsworth, J. b
ISBN	0201627574
	9780201627572
พิมพลักษณ์	Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., 1992
ครั้งที่พิมพ์	1st ed
รูปเล่ม	xii, 334 p. : ill. ; 24 cm
หัวเรื่อง	Computer software --Development []
	Formal methods (Computer science)
	Programming languages (Electronic computers)
	Z (Computer program language)
	Computer software development

1	มหาวิทยาลัยวลัยลักษณ์ 222 ต.ไทยบุรี อ.ท่าศาลา จ.นครศรีธรรมราช Loading items...
2	มหาวิทยาลัยขอนแก่น 123 Mittapap Rd., Nai-Muang, Muang District, Khon Kaen 40002,Thailand. Loading items...
3	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี 126 ถนนประชาอุทิศ แขวงบางมด เขตทุ่งครุ กรุงเทพฯ 10140 Loading items...
4	มหาวิทยาลัยนเรศวร 99 หมู่ 9 ตำบลท่าโพธิ์ อำเภอเมืองพิษณุโลก จังหวัดพิษณุโลก Loading items...
5	มหาวิทยาลัยเทคโนโลยีราชมงคลรัตนโกสินทร์ 96 หมู่ 3 ถนน พุทธมณฑล สาย 5 ต.ศาลายา อ.พุทธมณฑล จ.นครปฐม 73170 Loading items...
6	มหาวิทยาลัยเชียงใหม่ 239 ถนน ห้วยแก้ว ตำบลสุเทพ อำเภอเมืองเชียงใหม่ เชียงใหม่ 50200 Loading items...