Ga direct naar productinformatie
1 van 1

Modelling Distributed Systems

Modelling Distributed Systems

Fokkink, Wan

Normale prijs €25,00 EUR
Normale prijs Aanbiedingsprijs €25,00 EUR
Aanbieding Uitverkocht
Inclusief btw.
Aantal op voorraad: 1

Korte omschrijving 📚

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.
Alle details bekijken

Eerder bekeken