Items related to Automated Verification of Concurrent Search Structures...

Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science) - Softcover

Siddharth Krishna (author), Nisarg Patel (author)

 
9781636391281: Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science)

This specific ISBN edition is currently not available.

Synopsis

null

"synopsis" may belong to another edition of this title.