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.

Other Popular Editions of the Same Title