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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods in computer science / Jiacun Wang and William Tepfenhart.
ชื่อผู้แต่ง	Wang, Jiacun, 1963-
พิมพลักษณ์	Boca Raton : CRC Press, c2020.
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal Methods in human - computer interaction / Michael, Harrison.
ชื่อผู้แต่ง	Harrison, Michael.
พิมพลักษณ์	Cambridge : Cambridge University Press , 2009.
เลขเรียก	004.019 H315
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลศรีวิชัย

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer...
ชื่อผู้แต่ง	EEF Summer School on Trends in Computer Science (1st : 2000 : Berg en Dal, Netherlands)
พิมพลักษณ์	Berlin : Springer, c2001.
เลขเรียก	004 E26L
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Concise guide to formal methods : theory, fundamentals and industry applications / Gerard O'Regan.
ชื่อผู้แต่ง	O'Regan, Gerard (Cornelius Gerard)
พิมพลักษณ์	Cham: Springer, c2017.
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.
ชื่อผู้แต่ง	Harel, David.
พิมพลักษณ์	New Delhi / Prentice Hall, 2007 c2000.
เลขเรียก	QA76.9.L63 H256d 2000
ห้องสมุด	มหาวิทยาลัยนเรศวร

6

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

7

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

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004...
ชื่อผู้แต่ง	International Conference on Integrated Formal Methods (4th : 2004 : Canterbury, England)
พิมพลักษณ์	Berlin : Springer, 2004.
เลขเรียก	004.0151 I61I 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Integrated formal methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, No...
ชื่อผู้แต่ง	International Conference on Integrated Formal Methods (2nd : 2000 : Dagstuhl Castle, Germany)
พิมพลักษณ์	Berlin : Springer Verlag, 2000.
เลขเรียก	004.0151 I61I 2000
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 20...
ชื่อผู้แต่ง	International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland)
พิมพลักษณ์	Berlin : Springer, 2002.
เลขเรียก	004.0151 I61I 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Software specification methods : an overview using a case study / Marc Frappier and Henri Habrias (e...
พิมพลักษณ์	London ; New York : Springer, c2001.
เลขเรียก	QA76.9.F67 S681 2001
ห้องสมุด	มหาวิทยาลัยนเรศวร

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods for software architectures : third International School on Formal Methods for the De...
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.3 F723
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Modeling in Event-B : system and software engineering / Jean-Raymond Abrial
ชื่อผู้แต่ง	Abrial, Jean-Raymond
พิมพลักษณ์	Cambridge : Cambridge University Press, c2010
เลขเรียก	QA76.9.F67 ABR 2010
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Theories of programming and formal methods [electronic resource] : essays dedicated to Jifeng He on ...
พิมพลักษณ์	Berlin : Springer, c2013.
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ
ชื่อเรื่อง	Software component identification specification and classification using formal method and artificia...
ชื่อผู้แต่ง	Sathit Nakkrasae
พิมพลักษณ์	2004.

1
2
3
4

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