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

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

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.
ชื่อผู้แต่ง	Spivey, J. M.
พิมพลักษณ์	New York : Prentice Hall, c1989.
เลขเรียก	QA76.73.Z2 .S66 1989
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

6

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

7

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

8

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

9

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

10

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

11

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

12

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

13

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

14

ประเภทสื่อ	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
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

15

ประเภทสื่อ	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
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

1
2

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