TY  - BOOK
AU  - วิวัฒน์ วัฒนาวุฒิ
ED  - จุฬาลงกรณ์มหาวิทยาลัย.
TI  - ข้อกำหนดซอฟต์แวร์เชิงรูปนัย =: Format software specifications 
AV  - QA 76.758 ว743ข 2556
PY  - 2556///
CY  - กรุงเทพฯ
PB  - ภาควิชาวิศวกรรมคอมพิวเตอร์ คณะวิศวกรรมศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย
KW  - วิศวกรรมซอฟต์แวร์
N1  - บรรณานุกรม, ภาคผนวก; วิธีเชิงรูปนัยในการพัฒนาซอฟต์แวร์; พื้นฐานทางคณิตศาตร์; ภาษาคาเฟโอบีเจ
ER  -