Udvidet returret til d. 31. januar 2025

Bøger af Willem-Paul de (Christian-Albrechts Universitat zu Kiel Roever

Filter
Filter
Sorter efterSorter Populære
  • - Introduction to Compositional and Non-compositional Methods
    af Enschede, Willem-Paul de Roever, Frank de Boer, mfl.
    923,95 - 2.749,95 kr.

    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 tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.