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
|