Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Crafting Interpreters

Compiler Design

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

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

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

C++ Quick Syntax Reference

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Practical TLA+: Planning Driven Development

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Object-Oriented Programming and Java: Edition 2

Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

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

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

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

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

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

Learn Java for Android Development: Edition 2