About this book series

'Undergraduate Topics in Computer Science' (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and theoretical material to final-year topics and applications, UTiCS books take a fresh, concise, and modern approach and are ideal for self-study or for a one- or two-semester course. The texts are authored by established experts in their fields, reviewed by an international advisory board, and contain numerous examples and problems, many of which include fully worked solutions.

The UTiCS concept centers on high-quality, ideally and generally quite concise books in softback format. For advanced undergraduate textbooks that are likely to be longer and more expository, Springer continues to offer the highly regarded Texts in Computer Science series, to which we refer potential authors.

Electronic ISSN
2197-1781
Print ISSN
1863-7310
Series Editor
  • Ian Mackie

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: 2026

    Available Renditions

    • Soft cover
    • eBook

Abstracted and indexed in

  1. DBLP
  2. zbMATH