Modelling Distributed Systems Alighieri Dit kwam tot uiting in

Dit kwam tot uiting in oude en nieuwe draperie

visually arresting guide covers the history

Geur is ongrijpbaar

Winner of the Lincoln Prize Acclaimed historian Doris Kearns Goodwin illuminates Lincoln's political genius in this highly original work

Wubbo de Jong (1946-2002) gold als één van de belangrijkste na-oorlogse fotojournalisten van Nederland

Modelling Distributed Systems Alighieri Dit kwam tot uiting inThis 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.