Book titles in this series

  1. Rigorous Software Development

    An Introduction to Program Verification

    Authors:
    • José Bacelar Almeida
    • Maria João Frade
    • Jorge Sousa Pinto
    • Simão Melo de Sousa
    • Copyright: 2025

    Available Renditions

    • Soft cover
    • eBook
  2. Concise Guide to the Internet of Things

    A Hands-On Introduction to Technologies, Procedures, and Architectures

    Authors:
    • Michael McCarthy
    • Barry Burd
    • Ian Pollock
    • Copyright: 2025

    Available Renditions

    • Soft cover ( Book w. online files / update )
    • eBook
  3. Maths For Computing

    A Beginner's Guide

    Authors:
    • Quentin Charatan
    • Aaron Kans
    • Copyright: 2025

    Available Renditions

    • Soft cover
    • eBook