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

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

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
ชื่อเรื่อง	Formal specification using Z / David Lightfoot.
ชื่อผู้แต่ง	Ligthfoot, David
พิมพลักษณ์	New York : Palgrave, c2001.
เลขเรียก	QA76.73.Z2 L5 2001
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

5

ประเภทสื่อ	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 มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลรัตนโกสินทร์ มหาวิทยาลัยนเรศวร

6

ประเภทสื่อ	Book
ชื่อเรื่อง	The Z notation : a reference manual / J.M. Spivey.
ชื่อผู้แต่ง	Spivey, J. M.
พิมพลักษณ์	New York : Prentice Hall, c1989.
เลขเรียก	QA76.73.Z2 .S66 1989
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

7

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

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

9

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

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Z 80 Assembly language subroutines / Lance A. Leventhal, Winthrop Saville.
ชื่อผู้แต่ง	Leventhal, Lance A.
พิมพลักษณ์	Berkeley, CA : Osborne/McGraw-Hill, 1983.
เลขเรียก	QA76.73.A8 L44z
ห้องสมุด	มหาวิทยาลัยศรีนครินทรวิโรฒ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Z in practice / Rosalind Barden, Susan Stepney and David Cooper.
ชื่อผู้แต่ง	Barden, Rosalind.
พิมพลักษณ์	New York : Prentice-Hall, c1994.
เลขเรียก	QA76.73.Z2 B3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Z User Workshop : proceedings of the Fourth Annual Z User Meeting, Oxford, 15 December 1989 / J. E. ...
พิมพลักษณ์	New York : Springer-Verlag London, 1990
เลขเรียก	005.133 Z11 1990
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตนครราชสีมา

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Z-80 and 8080 assembly language programming / Kathe Spracklen.
ชื่อผู้แต่ง	Spracklen, Kathe.
พิมพลักษณ์	Rochelle Park, N.J. : Hayden Book, c1979.
เลขเรียก	001.642 S766Z
ห้องสมุด	มหาวิทยาลัยเชียงใหม่

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Z80 : assembly language programming / Lance A. Leventhal.
ชื่อผู้แต่ง	Leventhal, Lance A.
พิมพลักษณ์	Berkeley, Calif. : Osborne/McGraw-Hill, [1979]
เลขเรียก	QA76.8.Z54 .L48 1979
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Z80, assembly language programming / Lance A. Leventhal.
ชื่อผู้แต่ง	Leventhal, Lance a.
พิมพลักษณ์	Berkeley, Calif. : Osborne/McGraw-Hill, c1979.
เลขเรียก	QA76.8.Z54 L48 1979,005.133 He657Z
ห้องสมุด	มหาวิทยาลัยศรีนครินทรวิโรฒ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร

1
2

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