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

Siddharth Krishna (author), Nisarg Patel (author)

 
9781636391304: 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