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

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

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
ชื่อเรื่อง	Communication protocol specification and verification / by Richard Lai, Ajin Jirachiefpattana.
ชื่อผู้แต่ง	Lai, Richard.
พิมพลักษณ์	Boston : Kluwer, c1998.
เลขเรียก	TK5105.55 L185
ห้องสมุด	มหาวิทยาลัยขอนแก่น

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods of program verification and specification / by H.K. Berg...[et al.]
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall, c1982.
เลขเรียก	QA76.6 B47 1982
ห้องสมุด	มหาวิทยาลัยศิลปากร

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Integration of software specification techniques for applications in engineering [electronic resour...
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.76.D47 I554 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Program construction : calculating implementations from specifications / Roland Backhouse.
ชื่อผู้แต่ง	Backhouse, Roland.
พิมพลักษณ์	Chichester : John Wiley & Sons, c2003.
เลขเรียก	QA76.6 B126p 2003,005.1 B126p
ห้องสมุด	มหาวิทยาลัยนเรศวร มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยธุรกิจบัณฑิตย์

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Program derivation : the development of programs from specifications / Geoff Dromey
ชื่อผู้แต่ง	Dromey, Geoff
พิมพลักษณ์	Sydney : Addison-Wesley, c1989
เลขเรียก	QA76.6 DRO 1989,005.1
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยสุโขทัยธรรมาธิราช

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Specification case studies / edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.].
พิมพลักษณ์	New York : Prentice Hall, 1993.
เลขเรียก	QA76.6 .S63 1993
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยรามคำแหง มหาวิทยาลัยศรีนครินทรวิโรฒ

1

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