Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

The Software Engineer's Guidebook: Navigating senior, tech lead, and staff engineer positions at tech companies and startups

Industrial-Strength Formal Methods in Practice

Code Complete: Edition 2

Testing of Communicating Systems: 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings

Software Engineering at Google: Lessons Learned from Programming Over Time

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Arduino Projects For Dummies

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Internet of Things with ESP8266

Google Cloud for DevOps Engineers: A practical guide to SRE and achieving Google's Professional Cloud DevOps Engineer certification

Electronic Visualisation in Arts and Culture

Digital Design and Computer Architecture: Edition 2

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Crafting Interpreters

Formal Methods: State of the Art and New Directions

Raspberry Pi User Guide: Edition 3

Provably Correct Systems

System Performance Tuning: Help for Unix Administrators, Edition 2

ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings