Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

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

25 Years of Model Checking: History, Achievements, Perspectives

Digital Design and Computer Architecture: Edition 2

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Mastering AI Prompts: A Comprehensive Guide to Becoming an AI Prompt Expert

Neural3000: The Next-Gen AI Technology: The World-Changer

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Generative AI in Action

Handbook of Model Checking

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

Validation of Evolving Software

Software Engineering at Google: Lessons Learned from Programming Over Time

Model Checking, second edition

The Age of AI: "THE BOOK WE ALL NEED"

Facilitating Software Architecture: Empowering Teams to Make Architectural Decisions