Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Software Engineering at Google: Lessons Learned from Programming Over Time

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

Raspberry Pi User Guide: Edition 3

Arduino Projects For Dummies

Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

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

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

Internet of Things with ESP8266

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Ethical Hacking and Penetration Testing Guide

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

Python Algorithmic Trading Cookbook: All the recipes you need to implement your own algorithmic trading strategies in Python

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

Digital Design and Computer Architecture: Edition 2

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

The Phoenix Project: A Novel About IT, DevOps, and Helping Your Business Win

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

CompTIA A+ CertMike: Prepare. Practice. Pass the Test! Get Certified!: Core 1 Exam 220-1101

Deductive Software Verification – The KeY Book: From Theory to Practice