 |
|
|
 Software Abstractions: Logic, Language, and Analysis
As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.
One approach especially intrigued me. John Guttag and Jim... | | Practical Android 4 Games Development
Hi there, and welcome to the world of Android game development. You came here to learn
about game development on Android, and we hope to be the people who enable you to
realize your ideas.
Together we'll cover quite a range of materials and topics: Android basics, audio and
graphics programming, a little math... | | C++ Primer Plus (6th Edition) (Developer's Library)
Learning C++ is an adventure of discovery, particularly because the language accommodates several programming paradigms, including object-oriented programming, generic programming, and the traditional procedural programming.The fifth edition of this book described the language as set forth in the ISO C++ standards, informally known as C++99... |
|
| | Advanced Android 4 Games
Welcome to Advanced Android 4 Games. This book will help you create great games for the
Android platform. There are plenty of books out there that tackle this subject, but only this book
gives you a unique perspective by showing you how easy it is to bring native PC games to the
platform with minimum effort. This is done using... | | |
|
|
| Result Page: 126 125 124 123 122 121 120 119 118 117 116 115 114 113 112 111 110 109 |
