Read more
Informationen zum Autor Bruce Mills holds a Ph.D. in computer science and mathematics from the University of Western Australia, Perth. He has twenty years of experience in the industrial electronics and software fields, and as a lecturer in his native country, Wales, and the Middle East. Dr Mills is the author of Theoretical Introduction to Programming (2010). Klappentext A textbook with a practical bent! for final year undergraduate and graduate students! emphasising formal methods in writing robust code quickly. Assuming prior experience with C! C++! or Java programming languages! this book examines the interaction between code in a physical machine and the logic applied in creating the software. Zusammenfassung A textbook with a practical bent! for final year undergraduate and graduate students! emphasising formal methods in writing robust code quickly. Assuming prior experience with C! C++! or Java programming languages! this book examines the interaction between code in a physical machine and the logic applied in creating the software. Inhaltsverzeichnis Part I. Fundamentals: 1. Arithmetic; 2. Logic; 3. Algebra; 4. Diagrams; Part II. Language: 5. UML; 6. OCL; 7. Z; 8. Logic; 9. Java; Part III. Practice: 10. Implementation; 11. State transformation; 12. Plain text; 13. Natural language; 14. Digital geometry; 15. Building dungeons; 16. Multiple threads; 17. Security.
