| LEADER 00000nam 2200000uu 4500 |
| 001 46156 |
| 003 ULIBM |
| 008 160923s25579999tha 000 0 tha d |
| 050 ^aQA76^bว742ข
|
| 100 0 ^aวิวัฒน์ วัฒนาวุฒิ
|
| 245 10 ^aข้อกำหนดซอฟต์แวร์เชิงรูปนัย /^cวิวัฒน์ วัฒนาวุฒิ
|
| 260 ^aกรุงเทพฯ :^bคณะวิศวกรรมศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย,^c2557
|
| 300 ^a251 หน้า :^bภาพประกอบ
|
| 490 0 ^aตำราเรียนวิศวกรรมศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย 100ปี 2456-2556
|
| 505 2 ^aวิธีเชิงรูปนัยในการพัฒนาซอฟต์แวร์ -- ภาษาข้อกำหนดเชิงรูปนัย --พื้นฐานทางคณิตศาสตร์ -- ภาษาข้อกำหนดเชิงรูปนัยเซด --กรณีศึกษาข้อกำหนดระบบจัดการข้อมูลวันเกิด -- กรณีศึกษาข้อกำหนดระบบแฟ้มข้อมูล -- กรณีศึกษา ระบบขายตั๋วโรงภาพยนต์ --สัญกรณ์เครื่องเชิงนามธรรม -- ภาษาคาเฟโอบีเจ.
|
| 650 7 ^aซอฟต์แวร์
|
| 650 7 ^aซอฟต์แวร์^xข้อกำหนด
|
| 710 2 ^aจุฬาลงกรณ์มหาวิทยาลัย.^bภาควิชาวิศวกรรมคอมพิวเตอร์
|
| 945 ^p180^l0^i201601199 |
| 999 ^aRodjaney
|