Wan Fokkink
- Auteur
Boeken van Wan Fokkink
Wan Fokkink
Introduction to Process Algebra
€ 60,99
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems.
Meer
Wan Fokkink
Modelling Distributed Systems
€ 60,99
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
Meer
Wan Fokkink€ 60,99
Wan Fokkink€ 60,99