Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

by Willem-PauldeRoever (Author), Frankde Boer (Author), UlrichHanneman (Author), JobZwiers (Author), Mannes Poel (Author), YassineLakhnech (Author), JozefHooman (Author)

New
Paperback
2011
$83.87

An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.

Synopsis

An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.

$83.87

Quantity

10 in stock

More Information

Format: Paperback
Pages: 800
Publisher: Cambridge University Press
Published: 27 Oct 2011
ISBN 10: 0521169321
ISBN 13: 9780521169325

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

New

$83.87

Synopsis

$83.87

More Information