Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Concurrency Verification

Concurrency Verification

- Introduction to Compositional and Non-compositional Methods

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

indgår i Cambridge Tracts in Theoretical Computer Science serien

Concurrency Verification af Willem-Paul de (Christian-Albrechts Universitat zu Kiel Roever
Bag om Concurrency Verification

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521806084
  • Indbinding:
  • Hardback
  • Sideantal:
  • 800
  • Udgivet:
  • 26. november 2001
  • Størrelse:
  • 160x235x43 mm.
  • Vægt:
  • 1175 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 6. december 2024

Bag om Willem-Paul de (Christian-Albrechts Universitat zu Kiel Roever

Vis alle bøger af Willem-Paul de (Christian-Albrechts Universitat zu Kiel Roever

Beskrivelse af Concurrency Verification

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.

Brugerbedømmelser af Concurrency Verification



Andre købte også..
Find lignende bøger
Bogen Concurrency Verification findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

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