Norges billigste bøker

Bøker av Willem-Paul de (Christian-Albrechts Universitat zu Kiel Roever

Filter
Filter
Sorter etterSorter Populære
  • - Introduction to Compositional and Non-compositional Methods
    av Enschede, Willem-Paul de Roever, Frank de Boer, m.fl.
    1 078 - 3 221,-

    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.

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.