book cover
Type Book
ชื่อเรื่องAlgebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop Oxford, UK, April 10-14, 2000 : revised lectures / Roland Backhouse, Roy Crole, Jeremy Gibbons, eds
ผู้แต่งSchool on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 : University of Oxford)
ISBN3540436138
พิมพลักษณ์Berlin : Springer, c2002
รูปเล่มxiv, 385 : ill. ; 24 cm
หัวเรื่อง
 
 


© 2013-2019 UCTAL. All Rights Reserved.
สนับสนุนโดย สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา กระทรวงการอุดมศึกษา วิทยาศาสตร์ วิจัยและนวัตกรรม ThaiLIS | Power by สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา