Programming in 2025

Modern JavaScript APIs: A Hands-On Guide to Fetch, JSON, and Frontend Data Integration by Svekis, Laurence Lars

Handbook of Template based Websites: A Practical Guide to Building, Maintaining, and Scaling Websites Using Templates by Gupta, Anubhav

Professionelle V Programmierung: Wie man Produktionssoftware mit V wartet und skaliert by Sanders, Rafael

Practical iOS & macOS Game Development with Swift and SpriteKit: Build Real 2D Games, Optimize Performance, and Ship Production-Ready Apps on Apple Pl by Trafford, George

Build Real Websites Fast: Practical Projects for Beginner Web Developers by Cotner, Eric T.

Modern C# Game Development for Absolute Beginners: A practical, project-based guide to learning C#, mastering Unity basics, and building simple 2D and by E. Simon, Joey

Python for AI: Deep Learning with TensorFlow and PyTorch by Dreisner, Thalric

V Sprachführer für Fortgeschrittene: Wie man mit den einfachen, aber leistungsstarken Funktionen von V zuverlässige Software entwickelt by Sanders, Rafael

Narrative Unlocked: Visual Storytelling with No-Code: Design, Build, and Launch Interactive Stories Without Writing a Single Line of Code by Miles, Luna

DevOps Pipelines for Homelabs: Build CI/CD, GitOps & Automated Deployments with Docker, Kubernetes, ArgoCD & Terraform by Vexel, Alira

Python for AI Agents: Engineering Reliable Workflows, Intelligent Tools, and Autonomous Multi-Agent Systems by Reedwell, Max

Ultimate GraphQL for Scalable Web Apps by Gupta, Robins

Tinkercad User Guide for Beginners: The Complete Manual to Master 3D Design Skills and Transform Ideas into Physical Objects by Walden, Charles

Unreal Engine 5 VR Game Development Blueprint: A Complete Guide to Building Optimized, Cross-Platform Virtual Reality Games Using OpenXR, Blueprints, by Calkins, Warren

Blender 5.0 User Guide: Learn 3D Modeling, Animation, Rendering and Real World Projects Confidently by Colewright, Evan

Prompt Engineering for SAP ABAP: Template-Driven AI Code Generation in S/4HANA Projects by Dusk, Clara

Blender 5.0 Benutzerhandbuch: Lerne 3D Modellierung, Animation, Rendering und reale Projekte souverän kennen by Colewright, Evan

Whisper to Boss: How to Get Promoted as a Developer - Soft Skills for Tech by D, Nirm

The Definitive Canon Version - 2: Ontological Management Framework for Hyperscale Critical Infrastructure Projects by Amor Madi, Yazid

Professionelle Zig Programmierung: Wie man komplexe, leistungsstarke und sichere Systeme entwickelt by Farmer, Miguel

Guía del Usuario de Blender 5.0: Aprenda modelado 3D, animación, renderizado y proyectos del mundo real con confianza by Colewright, Evan

Object Oriented Modeling And Design Using UML by Singh, Ajit

Mastering Godot 4.5 with C#: Architecting High-Performance Games with Advanced .NET Systems and Professional Industry Standards by Bitwright, Caelum

Claude Code Engineering: Building Reliable AI-Assisted Development Systems for Modern Software Teams by Albert, Devin

Google Antigravity: The Definitive Guide to Agentic IDE Architecture, Multi-Agent Orchestration, and Autonomous Development with Gemini 3 by Li, Yuan

Mastering the Meta Quest 3S: A Practical User Guide to Setup, Controls, Best Games, Comfort Tips & Pro-Level VR Experiences by Shutter, Nova

Progettazione e valutazione di operatori di mutazione per il linguaggio AsmetaL by Alkrarha, Osama

Conception et évaluation d'opérateurs de mutation pour le langage AsmetaL by Alkrarha, Osama

Entwurf und Bewertung von Mutationsoperatoren für die Sprache AsmetaL by Alkrarha, Osama

Projektowanie i ocena operatorów mutacji dla języka AsmetaL by Alkrarha, Osama

Coding for Python Beginners: A Practical Guide to Programming, Debugging, and AI-Assisted Learning by Moriyama, Daiki

Concepção e avaliação de operadores de mutação para a linguagem AsmetaL by Alkrarha, Osama

Zig für Anfänger: Wie man mit einer modernen C-Alternative sicherere und schnellere Software entwickelt by Farmer, Miguel

Zig-Leitfaden für Fortgeschrittene: Wie Sie Speicher, Sicherheit und Leistung souverän verwalten by Farmer, Miguel

Django Architecture Patterns by Dantas Morais, Bruno Well

Dart für Anfänger: Wie man mit der Entwicklung plattformübergreifender Apps mit der Flutter-Kernsprache beginnt by Carter, Thompson

Professionelle Dart-Programmierung: Wie man produktionsreife, skalierbare plattformübergreifende Lösungen entwickelt by Carter, Thompson

Vibe, Don't Build: Playbook To Turn Your Expertise Into Profitable Products and Personal Brand Using AI by Thakkar, Pratik

Practical Deep Learning with PyTorch: Build, Train, and Deploy Modern Models, from CNNs and Transformers to GNNs and Diffusion by Westfield, Frank

High-Performance computing with ASP.NET: Build Fast, Scalable, and Resilient .NET Web Systems for Modern Workloads by Waldschmidt, Gregory

The Weird, the Subtle, and the Powerful in JavaScript: The Weird, the Subtle, and the Powerful in JavaScript by Svekis, Laurence Lars

Agentic AI Systems and Tools: Develop Reliable, Cost-Efficient AI Agents That Think, Act, and Automate Real-World Work by Dunavant, Clinton S.

Java Programmieren für Einsteiger: Wie Sie Schritt für Schritt eigene Programme entwickeln - Mit 100+ Übungen und Lösungen by Kellermann, Franz

Getting Started with Replit AI: A Beginner's Guide to AI-Powered Coding by Stevenson, Tom

AI-Powered Development with Replit: Mastering Agents, LangChain, and n8n for End-to-End Workflow Automation by Thalden, Miro Thalden

Python AI & Machine Learning Crash Course: From Data to Deployment-Create Intelligent Applications That Learn and Adapt by Younker, William L.

The AI-Powered Programming Instructor: Cut Prep Time by 90% with 50 Practical Prompts for Debugging, Curriculum Design, and Student Feedback by Sterling, A. K.

The Fast-Track Beginner's Guide to macOS Tahoe 26: A User-Friendly Manual: Unlock Hidden Gems, Automate Your Workflow, Supercharge Your Mac and Take C by C. Rea, Faye

Microservices Design Patterns in .NET - Second Edition: Making sense of microservices design and architecture using .NET 10 and C# 14 by Williams, Trevoir

A Comprehensive Introduction to Python: From the Basics to Data Analytics: From the Basics to Data Analytics by Masloff, Jackie

HTML e CSS: Direto e Reto by Andrade, Cid R.

Learn Python Fast: From Zero to Coding Hero by Gejadze, Nick

GO 1.25 Complete Guide: A Comprehensive Handbook for Modern Go Development and Deployment by McKenzie, Danny K.

Python LLM: Building, Fine-Tuning, and Deploying Large Language Models with Python by Ashworth, David

Why GOATs Are GOATs: The Structural Commonalities of Games That Endure by Lee, Joseph

Data Storytelling for Business Decisions: A Practical Guide to Data Visualisation and Storytelling for Data and Business Analysts by O. Greene, Thomas

Gamers Testing Games: A Gamer's Journey Inside the World of Game QA by Fairley, Ryan

Love2d 11.5 Game Development Black: High-Performance Lua Programming To Build Commercial 2D Indie Games, Design Custom Engines, And Deploy Cross-Platf by Zhengxiong, Shangguan

Data Structures and Algorithms Essentials You Always Wanted to Know: Master Python, Recursion, Dynamic Programming, and Greedy Algorithms With Hands-O by Peters, Shawn, Publishers, Vibrant

Designing the User Experience of Game Development Tools by Lightbown, David

Hailuo AI (MiniMax) User Guide: Writing Tools, Voice Generation, Chat Automation, Creative Content Production, Multimodal Features, Productivity Workf by Winters, Reed

Seedance AI User Guide: Content Creation, Workflow Automation, Chat Tools, Video Generation, Image Design, and Intelligent Productivity Systems. by LeFevre, Oliver

Designing the User Experience of Game Development Tools by Lightbown, David

Hands-On Software Engineering with Python - Second Edition: Move beyond basic programming to design, maintain, and deploy extensible Python systems by Allbee, Brian

Software Architecture with C++ - Second Edition: Designing robust C++ systems with modern architectural practices by Gaczkowski, Piotr, Gavrilin, Andrey, Ostrowski, Adrian

C# Programming in Easy Steps: Master C# Fundamentals! by McGrath, Mike

Software Architecture for Web Developers: Design Scalable, Secure, and Cloud-Native Systems Using APIs, Microservices, and Modern Patterns by Williams, Ryan David

Godot 4.5 Game Engine C# .NET 8 Programming: The Architect's Manual for Scalable High-Performance Digital Worlds by Bitwright, Caelum

Building 3D Games with Godot 4.5 and C#: Architecting Digital Realities with Modern Code by Bitwright, Caelum

RTOS Driver Foundations: The Beginner's Guide to Writing Safe ISRs, Device Drivers, and Concurrency in Embedded C by Logic, Silas C.

Mojo für Anfänger: Wie man mit Pythons leistungsstarkem Nachfolger für die KI-Entwicklung beginnt by Carter, Thompson

Mojo Leitfaden für Fortgeschrittene: Wie man KI-Code optimiert und die Grenzen von Python überwindet by Carter, Thompson

Professionelle Mojo-Programmierung: Wie man leistungsstarke KI-Systeme in großem Umfang entwickelt by Carter, Thompson

Engaging Learners With Immersive Technologies and Game-Based Learning by

Semantic Annotation of Edge/Fog Services With Blockchain Integration by

Practical AI with Google Apps Script: Build Real Products with LLMs, RAG, and Intelligent Interfaces by Svekis, Laurence Lars

Practical Approach to Open Source Intelligence (OSINT): Volume 2 by Bhardwaj, Akashdeep

Open for Business: Harnessing the Power of Open-Source in the Corporate World by Ali, Rahim, Khan, Muhammad Danyal

Open for Business: Harnessing the Power of Open-Source in the Corporate World by Khan, Muhammad Danyal, Ali, Rahim

Practical Approach to Open Source Intelligence (OSINT): Volume 2 by Bhardwaj, Akashdeep

The Rust Programming Handbook: An end-to-end guide to mastering Rust fundamentals by Ciulla, Francesco

OBS Super User Guide: Essential Tips and Tricks for Content Creators to Master Live Streaming and Video Recording Techniques by Gorman, Ariel M.

Apprendre Python pas à pas: De débutant à autonome avec des exemples concrets by Tech, Initio

API-First Design for Micro frontends Scalable Integration Patterns for Modern Web Architecture by Codewell, Alex

Unity 6 Mobile Game Development with Monetization: Build Profitable Casual and Hybrid-Casual Games for Android and iOS Using Ads, IAP, and Proven Mobi by Trafford, George

Handbook on Teaching Empirical Software Engineering by

Zero Trust Security Engineering: A Zero Trust approach to engineering security in your products (English Edition) by Patil, Mahesh

Mastering Microsoft 365 Copilot: The Future of Work and Creativity Through AI for Beginners: A Step-by-Step Guide to Harnessing the Power of AI Withou by C. Harper, Jordan

Make an App With AI by Pub, Geni, Vale, Ryan

Replit AI Made Simple: Build Apps Faster Without Coding Stress by Griffin, Michael

Java Backend Profesional con Spring Boot 3: Crea una API REST completa con Java 21: JPA, validación, JWT, testing, Swagger/OpenAPI y Docker con un pro by Code, Leo

Introduction to Engineering and Scientific Computing with Python by Clough, David E., Chapra, Steven C.

Haskell-Leitfaden für Fortgeschrittene: Wie man fortgeschrittene funktionale Konzepte in praktischen Projekten anwendet by Blunt, Booker

Idris-Leitfaden für Fortgeschrittene: Wie man mit Idris typsichere und verifizierte Anwendungen erstellt by Farmer, Miguel

Virtualization Made Practical by Levi K. a., Martin

Professionelle IdrisProgrammierung: Wie man zuverlässige Systeme mit abhängigen Typen in großem Umfang entwickelt by Farmer, Miguel

HTMX in Practice: A Professional Guide to Creating Interactive Web Applications Using HTML-First Principles by E. Webster, Richard

Applied Cryptography for Engineers: Hash and Trash by Popov, Denys

Astro for Web Development: Building Fast, Content-Driven, and SEO-Optimized Websites by B. Cain, Michael

Carbon für Anfänger: Wie man Googles Nachfolger von C++ mit einem reibungslosen und modernen Ansatz lernt by Blunt, Booker

Leitfaden für Kohlenstoffzwischenprodukte: Wie man Googles C++-Nachfolger für reale Softwareprojekte einsetzt by Blunt, Booker

Kapellenführer für Fortgeschrittene: Wie man mit dem Erlernen von Hochleistungs-Parallelrechnern beginnt by Blunt, Booker

F# Leitfaden für Fortgeschrittene: Wie man funktionale und objektorientierte Konzepte mit F# anwendet by Farmer, Miguel

Professionelle F#-Programmierung: Wie man Microsofts funktionale Programmiersprache für die .NET-Entwicklung erlernt by Farmer, Miguel

Software Engineering For Vibe Coders: A Practical Guide to Turning AI-Generated Code into Production-Ready SaaS by Smykowski, Tom

Advanced Dart & Flutter Mastery: Build Production-Ready Cross-Platform Applications with Expert Techniques and Real-World Architectures by Fairwick, Julian

Haskell für Anfänger: Wie man die rein funktionale Programmierung mit starker Typisierung versteht by Blunt, Booker

Blockchain and Digital Twin Enabled IoT Networks: Privacy and Security Perspectives by

Operating Systems: Evolutionary Concepts and Modern Design Principles by Chakraborty, Pranabananda

Demystifying Game Studies by Heron, Michael

Build, Tune, Explore with Openwebrx+: Web-Connected Software-Defined Radio Made Simple by Murnane, Richard

Lightburn Made Simple: Step-by-Step Laser Cutting and Engraving Workflows for Beginners and Hobbyists by Kessler, Evan J.

Python Automation Fundamentals: A Beginner's Guide to Scripting Efficient Workflows and Task Automation by K. McDaniel, Jake

Lua für Anfänger: Wie man einfache Skriptsprachen für Spiele, Apps und eingebettete Systeme lernt by Boozman, Richard

The Pocket Mentor for Game Artists by Flisijn, Sander

Demystifying Game Studies by Heron, Michael

The Vs Code Playbook: Write Better Code with the Right Editor Setup by Harper, Reid

Mermaid.Js 11 Diagram-As-Code Mastery: Visualize Architecture, System Design, and Automated Flowcharts with Markdown for Developer Documentation by Varnoq, Orrinex

Bevy Ecs 0.17 Masterclass: Build Scalable High-Performance Rust Games Using Data-Oriented Design, Parallel Scheduling, and Modern Game Architecture by Cruz, Everhart

My Software Engineering Guidebook 2026: The Orchestrator's Aid to Mastering Intent, Autonomy, and the 100x Engineering Paradigm by McCoy, Adams

Mein Software Entwicklungs Leitfaden 2026: Die Hilfe des Orchestrators zur Beherrschung von Intention, Autonomie und dem 100x-Engineering-Paradigma by McCoy, Adams

RxJS in Practice: Building Predictable, Event-Driven, and Scalable Frontend Applications with Reactive Programming by J. Heald, Jimmy

Next.js Unveiled: Full-Stack Web Apps with React, API Routes, and Serverless Functions by Jones, Laurence Oliver

CI/CD for Modern Software Teams: Accelerate Releases, Strengthen Reliability, and Automate Every Stage of Your Workflow by Dunavant, Clinton S.

OpenSearch desde Cero: Conceptos esenciales, instalación, búsquedas eficientes, análisis seguridad y aplicaciones prácticas explicadas con claridad by Krebs, Belinda

Generative AI Systems Fundamentals: Design, Evaluate, and Reason About Real-World AI Generation Pipelines by Younker, William L.

The Ultimate ESP32 PROGRAMMING Manual: Learn OTA updates, versioning, and rollback strategies for production systems. by Mark, Stevenson Benson

WebRTC in Practice: A Comprehensive Guide to Building Secure, Scalable, and Real-Time Communication Applications for the Modern Web by R. Walker, Colin

The Hell of Software Development: A Humorous Journey Through Coding Woes by S, Aloysius

F# für Anfänger: Wie man Microsofts funktionale Programmiersprache für die .NET-Entwicklung erlernt by Blunt, Booker

Programming ESP32: Learn MicroPython Coding and Electronics by Monk, Simon

The Hyperproof Manifesto: On Legitimacy, Consent & Executable Authority by Jocubeit, Dom

AutoCAD et AutoCAD LT Guide D'utilisation Pour Débutants: Un Manuel Pas À Pas Sur Le Dessin 2D, La Mise En Page, Le Traçage Et Les Flux De Travail Pro by Walden, Charles

Rust in Production: Designing, Deploying, and Operating Real Systems: A Comprehensive Guide by Van Der Post, Hayden

Practical Rust for Game Development: Build Real 2D and 3D Games Using Bevy, ECS Architecture, and High-Performance Rust by Trafford, George

Quantum Random-Number APIs Hardware Entropy as a Service for Cloud Apps by Weaver, Byte

Dart-Leitfaden für Fortgeschrittene: Wie man responsive Web-, Mobil- und Desktop-Anwendungen erstellt by Carter, Thompson

Professionelle Elm-Programmierung: Wie man skalierbare und fehlertolerante Front-End-Systeme entwickelt by Carter, Thompson

Elixier für Anfänger: Wie man skalierbare, zuverlässige und parallele Anwendungen mit Leichtigkeit erstellt by Farmer, Miguel

Ulme für Anfänger: Wie man funktionale Frontend-Entwicklung auf einfache Weise lernt by Carter, Thompson

Engineering Foundations: The Pillars of Modern Software Craftsmanship: Timeless Principles and Modern Practices for Building Systems That Last by Golodiuk, Dmytro

High-Performance Systems with Rust: Low-Latency Design, Memory Control, and Throughput Engineering: A Comprehensive Guide by Crossley, Ethan

Professionelle Elixir-Programmierung: Wie man skalierbare Architekturen auf der Erlang-VM entwickelt by Farmer, Miguel

ON1 Photo RAW 2026 User Guide: A Clear, Step-by-Step Guide to Editing, Organizing, and Exporting Photos with ON1 Photo RAW by Grout, Hayden

PostgreSQL 18 for Beginners: Build Real-World Database Projects Using SQL, JSON, and Python by Flemming, Peter

Elixir Leitfaden für Fortgeschrittene: Wie man Elixir in realen Web- und verteilten Systemen anwendet by Farmer, Miguel

RESTful API Design Principles: A practical guide to the architecture of the web (English Edition) by Rodriguez, Alex

Getting Started with LightBurn: Essential Basics, Tips, and Tricks by K. Washington, Terna

Python pour gagner du temps: Automatiser ses tâches et structurer des scripts efficaces by Tech, Initio

Education and Analog Role-Playing Games: Theory and Pedagogy, Volume 1 by

Django QuerySet Performance by Dantas Morais, Bruno Well

C and C++ - A Road through the Programming Jungle by Stein, Gerhard

Elm-Leitfaden für Fortgeschrittene: Wie man mit Elm zuverlässige und wartungsfreundliche Webanwendungen erstellt by Carter, Thompson

Edge AI on Embedded Devices Running Machine Learning on Microcontrollers and Low-Power Hardware by Weaver, Byte

Navigating The Cloud: SAP S/4 HANA Private Vs Public Strategies for Success by Rahul Bhatia

Gemini with Google Apps Script: A Complete Beginner's Guide to Building AI-Powered Tools in Google Workspace by Svekis, Laurence Lars

Ultimate ONNX for Deep Learning Optimization by Patel, Meet

AI-Powered Apps in Google Workspace: Build Production-Ready Assistants, Dashboards, and RAG Systems with Apps Script & Gemini by Svekis, Laurence Lars

Astro 5.0: Content Layer, Server Islands, and Zero-Js Performance: Build Lightning-Fast Websites with Multi-Framework Support, Type-Safe Content Colle by Skyler, Elina

Zsh on macOS Sequoia for Beginners 2025: Detailed Guide to Terminal Mastery with Oh My Zsh and Powerlevel10k Customizations. by Sterling, Casey

AI Image Generators Unleashed: A Practical Handbook for Beginners to Pros by Webber, Abraham

Python for Data & Analytics: A Business-Oriented Approach, Edition 2.0 by Groner, Daniel H.

Layered Design for Ruby on Rails Applications - Second Edition: Discover practical design patterns and modern abstractions for maintainable Rails appl by Dementyev, Vladimir

Mastering AI Image Generation (updated version): From Basics to Advanced Creations for Artists and Innovators by Webber, Abraham

Erlang-Leitfaden für Fortgeschrittene: Wie man das Akteurmodell für skalierbare Anwendungen anwendet by Sanders, Rafael

Gleam für Anfänger: Wie man die BEAM VM mit einer typsicheren Sprache für nebenläufige Systeme nutzen kann by Boozman, Richard

Gleam Leitfaden für Fortgeschrittene: Wie man mit Zuversicht parallele und fehlertolerante Systeme entwickelt by Boozman, Richard

Engineering Foundations: The Pillars of Modern Software Craftsmanship by Golodiuk, Dmytro

Python for Media, Marketing, and Growth: Data-Driven SEO, Ads, and Content Automation at Scale by Van Der Post, Hayden

Impact des assistants de codage IA sur le processus de développement des logiciels by Méndez Mariscal, Norma Leticia, Aldrete Enríquez, José Francisco, Maloof Flores, David

Auswirkungen von KI-Codierassistenten auf den SW-Entwicklungsprozess by Maloof Flores, David, Méndez Mariscal, Norma Leticia, Aldrete Enríquez, José Francisco

Impacto dos assistentes de codificação com IA no processo de desenvolvimento de software by Méndez Mariscal, Norma Leticia, Aldrete Enríquez, José Francisco, Maloof Flores, David

Wplyw asystentów kodowania AI na proces rozwoju oprogramowania by Maloof Flores, David, Méndez Mariscal, Norma Leticia, Aldrete Enríquez, José Francisco

Impact of AI-Coding Assistants on the SW development process by Méndez Mariscal, Norma Leticia, Aldrete Enríquez, José Francisco, Maloof Flores, David

Impatto degli assistenti di codifica AI sul processo di sviluppo del software by Méndez Mariscal, Norma Leticia, Maloof Flores, David, Aldrete Enríquez, José Francisco

Effective Coding Skill Development in Education by

Server-Side Webassembly: Building Portable and Secure Multi-Language Apps by Chiarlone, Danilo

A Platform Mindset: My Lessons from Developer to CTO by Fontoura, Marcus

Inteligencia Artificial Con Python: Sistemas de aprendizaje, Machine Learning y Deep Learning explicados de forma clara y práctica. by Selles Rodenas, Juan Ignacio

Perl Programming in Easy Steps by McGrath, Mike

Leveling Up as a Tech Lead: Growing as a Technical, Project, and People Leader by Fiser, Anemari

Unreal Engine 5 Best Practices: The ultimate guide to advanced visual storytelling, design, lighting, and performance in UE5 by Butler-Boschma, Tyson

Statistical Analysis with Python for Dummies by Schmuller, Joseph

Vlsi-Soc 2023: Innovations for Trustworthy Artificial Intelligence: 31st Ifip Wg 10.5/IEEE International Conference on Very Large Scale Integration, V by

Teach Yourself Visually iPhone 17 and iPhone Air by Hart-Davis, Guy

A Platform Mindset: My Lessons from Developer to CTO by Fontoura, Marcus

Building 3D Worlds with Blender 5.0: A Complete Guide to Designing, Modeling, and Rendering Immersive 3D Environments by Richardson, Alexander

Mastering Blazor WebAssembly Development with .NET 10: The Definitive Guide to Building Scalable Enterprise Apps with C# 14 and Clean Architecture by Bitwright, Caelum

Web Development Guide: Learn from Scratch - Start Building Dynamic & Database Driven Websites by Ahmed, Shafique

Growth Engineering with Python: Automating SEO, Ads, Experiments, and Recommendation Systems by Van Der Post, Hayden

Artificial Intelligence and the Bureaucratic Black Box in Career and Technical Education by H. Lay, Jacinda

Professionelle Erlang-Programmierung: Wie man Telekommunikations- und unternehmenskritische Systeme mit Erlang entwickelt by Sanders, Rafael

Erlang für Anfänger: Wie man die Sprache verteilter und fehlertoleranter Systeme erlernt by Sanders, Rafael

Professionelle Gleam-Programmierung: Wie man großtechnische Systeme mit typsicherer Präzision entwickelt by Boozman, Richard