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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Data flow analysis [electronic resource] : theory and practice / Uday P. Khedker, Amitabha Sanyal an...
ชื่อผู้แต่ง	Khedker, Uday.
พิมพลักษณ์	Boca Raton, FL : CRC Press/Taylor & Francis, c2009.
เลขเรียก	QA76.76.C65
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan M...
พิมพลักษณ์	Hoboken, NJ : John Wiley, 2008.
เลขเรียก	QA76.54 M62 2008,004.0151 M691
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Software engineering reviews and audits / Boyd L. Summers.
ชื่อผู้แต่ง	Summers, Boyd l.
พิมพลักษณ์	Boca Raton, Fla. : CRC Press/Auerbach, c2011.
เลขเรียก	QA76.758 S9,005.1 S955S
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยราชภัฏนครปฐม

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Software metrics : a practitioner's guide to improved product development / K.H. Moller and D.J. P...
ชื่อผู้แต่ง	Moller, K.h.
พิมพลักษณ์	London : Chapman & Hall, c1993.
เลขเรียก	QA76.76.E93 M628s
ห้องสมุด	มหาวิทยาลัยศรีนครินทรวิโรฒ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Software verification and analysis : an integrated, hands-on approach / Janusz Laski, William Stanle...
ชื่อผู้แต่ง	Laski, Janusz
พิมพลักษณ์	London ; New York : Springer, c2009.
เลขเรียก	QA76.76.V47 L37 2009
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	System-On-A-Chip verification : methodology and techniques / Prakash Rashinkar, Peter Paterson, Leen...
ชื่อผู้แต่ง	Rashinkar, Prakash 1960-
พิมพลักษณ์	Boston, MA : Kluwer Academic Publishers, c2001.
เลขเรียก	QA76.9.S88 R37 2001
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefe...
ชื่อผู้แต่ง	Yoeli, Michael
พิมพลักษณ์	Hoboken, NJ : John Wiley, c2008.
เลขเรียก	TK7874.58 Y62v,621.381548 V516
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีสุรนารี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification, validation and testing in software engineering / Aristides Dasso, Ana Funes, [editors]...
พิมพลักษณ์	Hershey, PA : Idea Group Pub., c2007.
เลขเรียก	QA76.76.V47 V488 2007
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

1

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