1
/
van
1
Modelling Distributed Systems
Modelling Distributed Systems
Fokkink, Wan
Normale prijs
€16,00 EUR
Normale prijs
Aanbiedingsprijs
€16,00 EUR
Eenheidsprijs
/
per
Belastingen inbegrepen.
Verzendkosten worden berekend bij de checkout.
Aantal op voorraad: 1
Kan beschikbaarheid voor afhalen niet laden
Ik verstuur alleen naar Nederland, België, Duitsland, Frankrijk, Italië, Spanje, Oostenrijk, Denemarken, Luxemburg en Zweden. Naar andere landen verstuur ik niet.
We only ship to the Netherlands, Belgium, Germany, France, Italy, Spain, Austria, Denmark, Luxembourg and Sweden.
Korte omschrijving 📚
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.
Share
