Type | Book |
ชื่อเรื่อง | Fundamentals of Software Engineering [electronic resource] : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani |
ISBN | 9783642293191 |
| 9783642293207 |
พิมพลักษณ์ | Berlin, Heidelberg : Springer Berlin Heidelberg, c2012 |
รูปเล่ม | 1 online resource |
หัวเรื่อง | Computer science |
| Computer science |
| Congresses |
| Electronic books |
| Logic design |
| Logics and meanings of programs |
| Mathematical logic and formal languages |
| Models and principles |
| Programming languages, Compilers, Interpreters |
| Programming techniques |
| Software engineering |
| Software engineering/programming and operating systems |