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

| |

Type	Book
ชื่อเรื่อง	Verifying floating-point algorithms with the Coq system [electronic resource] / Sylvie Boldo and Guillaume Melquiond
ผู้แต่ง	Boldo, Sylvie
ISBN	9781785481123
พิมพลักษณ์	Oxford, UK : Elsevier, 2017
รูปเล่ม	1 computer file
ลิงค์	Ebook from ScienceDirect
หัวเรื่อง	Computer arithmetic
	Floating-point arithmetic

1	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ แขวง วงศ์สว่าง เขต บางซื่อ กรุงเทพมหานคร 10800 Loading items...

Reviews loading...