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

| |

Type	Book
ชื่อเรื่อง	Temporal logic and state systems / by Fred Kroger, Stephan Merz
ผู้แต่ง	Kroger, Fred
ISBN	9783540674016
พิมพลักษณ์	Berlin, Heidelberg : Springer , c2008
รูปเล่ม	xi, 433 pages : illustrations ; 24 cm
หัวเรื่อง	Computer science
	Computer science
	Logic design
	Logics and meanings of programs
	Mathematical logic and formal languages
	Programming languages, Compilers, Interpreters
	Software engineering
	Software engineering

1	จุฬาลงกรณ์มหาวิทยาลัย 254 ถนนพญาไท แขวงวังใหม่ เขตปทุมวัน กรุงเทพมหานคร 10330 Loading items...