Automated Verification of Concurrent Search Structures
by Siddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies
Mathematics
Writing a summary for young readers…
For young readers
Book data: Open Library
by Siddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies
Book data: Open Library