Model Checking, second edition

Crafting Interpreters

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Compiler Design

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Xamarin Mobile Application Development: Cross-Platform C# and Xamarin.Forms Fundamentals

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

C++ Quick Syntax Reference

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Practical TLA+: Planning Driven Development

Handbook of Model Checking

Object-Oriented Programming and Java: Edition 2

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Beginning C for Arduino, Second Edition: Learn C Programming for the Arduino, Edition 2

Pro TBB: C++ Parallel Programming with Threading Building Blocks

Exploring C++: The Programmer's Introduction to C++

Learn Java for Android Development: Edition 2

Pro React

TouchDevelop: Programming on the Go, Edition 3