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)
Softcover
ISBN 10: 1636391281 ISBN 13: 9781636391281
Publisher: Morgan & Claypool Publishers, 2021

Synopsis

null

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

Publisher
Morgan & Claypool Publishers
Publication date
2021
Language
English
ISBN 10 
1636391281
ISBN 13 
9781636391281
Binding
Paperback
Number of pages
188

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  1636391303 ISBN 13:  9781636391304
Publisher: Morgan & Claypool Publishers, 2021
Hardcover