Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

Crafting Interpreters

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers

Compiler Design

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

Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

C++ Quick Syntax Reference

Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Object-Oriented Programming and Java: Edition 2

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

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

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

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

Lecture Slides for the Clang Libraries [LLVM/Clang 15] (Edition 0.0)

Learn Java for Android Development: Edition 2

Pro React

TouchDevelop: Programming on the Go, Edition 3

Pro .NET Memory Management: For Better Code, Performance, and Scalability