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

Game Programming Patterns

Channel Estimation for Physical Layer Network Coding Systems

Just Enough Software Architecture: A Risk-Driven Approach

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

All of Programming

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Android App Development For Dummies: Edition 3

Electronic Visualisation in Arts and Culture

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

Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers

The Pragmatic Programmer: From Journeyman to Master

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Kotlin Programming for Beginners

Formal Methods: State of the Art and New Directions

C++ Programming Language

Provably Correct Systems

JavaScript: The Good Parts: The Good Parts

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

Android Programming for Beginners