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

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

Select Page | Deselect Page |

ประเภทสื่อ	Book
ชื่อเรื่อง	Control flow and data flow : concepts of distributed programming / edited by Manfred Broy.
ชื่อผู้แต่ง	NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distrubuted Programming (1984 : Markto berdofr, Germany)
พิมพลักษณ์	Berlin : Springer-Verlag, c1986.
เลขเรียก	QA76.9.D5 .N375 1986
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal development of programs and proofs / edited by Edsger W. Dijkstra.
พิมพลักษณ์	Reading, Mass. : Addison-Wesley, c1990.
เลขเรียก	QA76.6 F6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์