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