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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to formal specification and z / Ben Potter, Jane Sinclair, David Till
ชื่อผู้แต่ง	Potter, Ben
พิมพลักษณ์	New York : Prentice-Hall, c1991
เลขเรียก	TA180 POT 1991
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to formal specification with Z and VDM / Deri Sheppard
ชื่อผู้แต่ง	Sheppard, Deri
พิมพลักษณ์	London : McGraw-Hill, c1995
เลขเรียก	QA76.73 SHE 1995
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal specification of advanced problem solving architectures / Iain D. Craig
ชื่อผู้แต่ง	Craig, Iain
พิมพลักษณ์	New York : Ellis Horwood, c1991
เลขเรียก	QA76.76.Z2 CRA 1991
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Software development with Z : a practical approach to formal methods in software engineering / J...
ชื่อผู้แต่ง	Wordsworth, J. b.
พิมพลักษณ์	Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., 1992.
เลขเรียก	QA76.73.Z2 W67 1992,005.262 W925S
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลรัตนโกสินทร์ ..more มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลรัตนโกสินทร์ มหาวิทยาลัยนเรศวร

5

ประเภทสื่อ	Book
ชื่อเรื่อง	The Z notation : a reference manual / J.M. Spivey: based on the work of J.R. Abrial...[et al.]
ชื่อผู้แต่ง	Spivey, J.M
พิมพลักษณ์	New York : Prentice Hall, c1992
เลขเรียก	QA76.73.Z2 SPI 1992
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Using Z specification, refinement, and proof / Jim Woodcock and Jim Davies.
ชื่อผู้แต่ง	Woodcock, Jim.
พิมพลักษณ์	London : Prentice-Hall, c1996.
เลขเรียก	QA76.73.Z2 W6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Z 80 assembly language programming / Lance A. Leventhal.
ชื่อผู้แต่ง	Leventhal, Lance A.
พิมพลักษณ์	Berkeley : Osborne/McGraw-Hill, c1979
เลขเรียก	QA76.8.Z55 L657z 1979
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Z8000 assembly language programming / Lance A. Leventhal, Adam Osborne, Chuck Collins.
ชื่อผู้แต่ง	Leventhal, Lance A., 1945-
พิมพลักษณ์	Berkeley : Osborne/McGraw-Hill, c1980
เลขเรียก	QA76.73.A8 LEV 1980,001.6424 L657Z
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

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