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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Constructing correct software / John Cooke.
ชื่อผู้แต่ง	Cooke, John.
พิมพลักษณ์	New York : Springer, 2005
เลขเรียก	QA76.76.D47 C6 2005
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods applied to complex systems [electronic resource] : implementation of the B Method / e...
พิมพลักษณ์	Hoboken, New Jersey : Wiley, 2014.
เลขเรียก	QA76.9.B22
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตนครราชสีมา

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods applied to industrial complex systems [electronic resource] / edited by Jean-Louis Bo...
พิมพลักษณ์	Hoboken, New Jersey : Wiley, 2014.
เลขเรียก	QA76.9.F6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตนครราชสีมา

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude ...
ชื่อผู้แต่ง	Girault, Claude.
พิมพลักษณ์	Berlin ; New York : Springer, c2003.
เลขเรียก	QA76.9.F67 G5
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Process algebra for parallel and distributed processing [electronic resource] / edited by Michael Al...
พิมพลักษณ์	Boca Raton : CRC Press, c2009.
เลขเรียก	QA76.58,004.35 Pr963P
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยมหาสารคาม มหาวิทยาลัยอุบลราชธานี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh and Mukul Prasad.
ชื่อผู้แต่ง	Fujita, Masahiro.
พิมพลักษณ์	Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008.
เลขเรียก	TK7895.E42 F8
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

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