From Action Systems to Distributed Systems: The Refinement Approach

Code Complete: Edition 2

Program Development by Refinement: Case Studies Using the B Method

Crafting Interpreters

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

The Go Programming Language

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

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Arduino Book for Beginners

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

The Practice of Programming

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

PHP and MySQL Web Development: Edition 5

Methods, Models and Tools for Fault Tolerance

Python Cookbook: Recipes for Mastering Python 3, Edition 3

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Google Apps Script: Web Application Development Essentials, Edition 2

Rigorous Development of Complex Fault-Tolerant Systems

Adventures in Rule-Based Programming: A CLIPS Tutorial

Creating Mobile Apps with Xamarin.Forms Preview Edition 2