Marknadens största urval
Snabb leverans

Böcker av Willem-Paul de (Christian-Albrechts Universitat zu Kiel Roever

Filter
Filter
Sortera efterSortera Populära
  • - Introduction to Compositional and Non-compositional Methods
    av Enschede, Willem-Paul de Roever, Frank de Boer, m.fl.
    1 106 - 3 220,-

    This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.