Based around a theme of the construction of a game engine, this
textbook is for final year undergraduate and graduate students,
emphasising formal methods in writing robust code quickly. This
book takes an unusual, engineering-inspired approach to illuminate
the creation and verification of large software systems. Where
other textbooks discuss business practices through generic project
management techniques or detailed rigid logic systems, this book
examines the interaction between code in a physical machine and the
logic applied in creating the software. These elements create an
informal and rigorous study of logic, algebra, and geometry through
software. Assuming prior experience with C, C++, or Java
programming languages, chapters introduce UML, OCL, and Z from
scratch. Extensive worked examples motivate readers to learn the
languages through the technical side of software science.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
