Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Code Complete: Edition 2

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Crafting Interpreters

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings

The Go Programming Language

Time for Verification: Essays in Memory of Amir Pnueli

PHP, MySQL & JavaScript All in One, Sams Teach Yourself: Edition 6

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Arduino Book for Beginners

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

The Practice of Programming

PHP and MySQL Web Development: Edition 5

Python Cookbook: Recipes for Mastering Python 3, Edition 3

Google Apps Script: Web Application Development Essentials, Edition 2

Adventures in Rule-Based Programming: A CLIPS Tutorial

Creating Mobile Apps with Xamarin.Forms Preview Edition 2

Simple Technology to Support Research

The Ruby Programming Language: Everything You Need to Know

Django 3 Web Development Cookbook: Actionable solutions to common problems in Python web development, 4th Edition, Edition 4