Formal Methods in Computer Science Other Books in This Series

The Shape of Space The Shape of Space
The Shape of Space
2020
Introduction to Financial Mathematics Introduction to Financial Mathematics
Introduction to Financial Mathematics
2021
Differential Equations with Applications and Historical Notes Differential Equations with Applications and Historical Notes
Differential Equations with Applications and Historical Notes
2016
Graph Theory and Its Applications Graph Theory and Its Applications
Graph Theory and Its Applications
2018
An Introduction to Number Theory with Cryptography An Introduction to Number Theory with Cryptography
An Introduction to Number Theory with Cryptography
2018
Linear Algebra Linear Algebra
Linear Algebra
2021
Train Your Brain Train Your Brain
Train Your Brain
2020
Game Theory Game Theory
Game Theory
2019
Introduction to Number Theory Introduction to Number Theory
Introduction to Number Theory
2015
Transition to Analysis with Proof Transition to Analysis with Proof
Transition to Analysis with Proof
2017
Lectures on Differential Geometry with Maple Lectures on Differential Geometry with Maple
Lectures on Differential Geometry with Maple
2025
Elements of Algebraic Topology Elements of Algebraic Topology
Elements of Algebraic Topology
2025
Student Solutions Manual for Gallian's Contemporary Abstract Algebra Student Solutions Manual for Gallian's Contemporary Abstract Algebra
Student Solutions Manual for Gallian's Contemporary Abstract Algebra
2025
Contemporary Abstract Algebra Contemporary Abstract Algebra
Contemporary Abstract Algebra
2025
Vector Calculus Vector Calculus
Vector Calculus
2024