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

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

List(0)

Select Page | Deselect Page |

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

1

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

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods of program verification and specification / H.K. Berg... [et al.]
ชื่อผู้แต่ง	Berg, Helmut k
พิมพลักษณ์	New Jersey : Prentic-Hall, c1982
เลขเรียก	QA76.6 BER 1982
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch.
พิมพลักษณ์	Boston : Academic Press, c1993.
เลขเรียก	QA76 S368 1993,519.4/0285 20
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Standardized functional verification / Alan Wiemann
ชื่อผู้แต่ง	Wiemann, Alan
พิมพลักษณ์	New York : Springer, c2008
เลขเรียก	QA76.76.V47 WIE 2008
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Verifiable programming / Ole-Johan Dahl
ชื่อผู้แต่ง	Dahl, Ole-johan
พิมพลักษณ์	New York : Prentice Hall, c1992
เลขเรียก	QA76.76.V47 DAH 1992
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 200...
ชื่อผู้แต่ง	VMCAI 2004 (2004 : Venice, Italy)
พิมพลักษณ์	Berlin : Springer, 2004.
เลขเรียก	005.14 V871V 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

1

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