A Practical Theory of Reactive Systems Other Books in This Series

Formal Methods for Software Engineering Formal Methods for Software Engineering
Formal Methods for Software Engineering
2022
Software Engineering 3 Software Engineering 3
Software Engineering 3
2006
Universal Artificial Intelligence Universal Artificial Intelligence
Universal Artificial Intelligence
2006
Complexity Theory and Cryptology Complexity Theory and Cryptology
Complexity Theory and Cryptology
2006
Software Engineering 2 Software Engineering 2
Software Engineering 2
2007
Parameterized Complexity Theory Parameterized Complexity Theory
Parameterized Complexity Theory
2006
Dissemination of Information in Communication Networks Dissemination of Information in Communication Networks
Dissemination of Information in Communication Networks
2006
Software Engineering 1 Software Engineering 1
Software Engineering 1
2007
Exact Exponential Algorithms Exact Exponential Algorithms
Exact Exponential Algorithms
2010
Extremal Combinatorics Extremal Combinatorics
Extremal Combinatorics
2011
Finite Model Theory and Its Applications Finite Model Theory and Its Applications
Finite Model Theory and Its Applications
2007
Abstract Computing Machines Abstract Computing Machines
Abstract Computing Machines
2006
Design and Analysis of Randomized Algorithms Design and Analysis of Randomized Algorithms
Design and Analysis of Randomized Algorithms
2006
Graphs and Algorithms in Communication Networks Graphs and Algorithms in Communication Networks
Graphs and Algorithms in Communication Networks
2009
Modelling Distributed Systems Modelling Distributed Systems
Modelling Distributed Systems
2007