How we did it:
For any feedback, any questions, any notes or just for chat - feel free to follow us on social networks
Offers information on using the C++ programming languge using the new C++11 standard, covering such topics as concurrency, facilities, standard libraries, and design techniques.
More on Amazon.com
A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.