| 청구기호 |
QA76.758 M575 2009 |
| 형태사항 |
xxxiii, 339 p : ill ; 26 cm
|
| 언어 |
English |
| 서지주기 |
Includes bibliographical references and index
|
| 내용 |
PART 1: Fundamentals. Arithmetic -- Logic -- Algebra -- Diagrams -- -- PART 2: Language. UML -- OCL -- Z -- Logic -- Java -- Game exercises -- -- PART 3: Practice. Implementation -- State transformation -- Plain text -- Natural language -- Digital geometry -- Building dungeons -- Multiple threads -- Security.
|
| 주제 |
Software engineering--Textbooks
|
| ISBN |
9780521879033 |
| QR CODE |
|
