Summary goes here
সংরক্ষণ করুন:
| বিন্যাস: | গ্রন্থ |
|---|---|
| ভাষা: | ইংরেজি |
| বিষয়গুলি: | |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 7f0e5a67-e733-42d0-ac6e-8033f0d78390 |
| isbn | 9783540000297 (alk. paper) |
| issn | |
| language | eng |
| physical | xi, 626 pages :illustrations ;24 cm |
| publication | – publisher: Springer dateOfPublication: ©2002 |
| publishDate | ©2002 |
| subjects | |
| title | Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / Chris George, Huaikou Miao (eds.). |
| topic | Formal methods (Computer science) Software engineering |