Type | Book |
ชื่อเรื่อง | Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério Lemos, Carlo Ghezzi, Antónia Lopes |
ISBN | 9783642362484 |
| 9783642362491 |
พิมพลักษณ์ | Berlin, Heidelberg : Springer Berlin Heidelberg, c2013 |
รูปเล่ม | 1 online resource |
หัวเรื่อง | Computer science |
| Computer communication networks |
| Computer communication networks |
| Computer science |
| Electronic books |
| Logic design |
| Logics and meanings of programs |
| Operating systems (Computers) |
| Programming languages, Compilers, Interpreters |
| Software engineering |
| Software engineering |
| Operating systems |