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

| |

Type	Book
ชื่อเรื่อง	Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn
ผู้แต่ง	Harel, David
ISBN	9788120331716
พิมพลักษณ์	New Delhi / Prentice Hall, 2007 c2000
รูปเล่ม	xv, 459 p
หัวเรื่อง	Computer logic
	Formal methods (Computer science)

1	มหาวิทยาลัยนเรศวร 99 หมู่ 9 ตำบลท่าโพธิ์ อำเภอเมืองพิษณุโลก จังหวัดพิษณุโลก Loading items...