Hopp til hovedinnhold
Omslagsbilde

Concurrency Verification : Introduction to Compositional and Non-compositional Methods

Boer, Frank de Lakhnech, Yassine Roever, Willem-Paul de Hanneman, Ulrich Poel, Mannes Hooman, Jozef Zwiers, Job

Cambridge Tracts in Theoretical Computer Science

|

Heftet

Produseres på bestilling

Leveringstid: 2-4 uker

Handlinger

Beskrivelse

Omtale

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.

Detaljer

Andre bøker av eller med Frank de Boer