New Arrivals Just Landed 
Pinch to
zoom

Functional Data Structures and Algorithms: A Proof Assistant Approach

Nipkow, Tobias

$54.95

Quantity
Product Details
Publisher
ACM Books
Publish Date
September 2025
Pages
418
Language
English
Type
Trade Paperback
EAN/UPC
9798400731594
Weight
1.57 lb
BISAC Categories
Programming - Algorithms
About the Author

Nipkow, Tobias

Frequently Bought Together

+
+

Total: $78.93

You May Also Like

Walter Benjamin: A Critical Life primary image
Walter Benjamin: A Critical Life
Eiland, Howard
$27.00
10 Choices Successful Couples Make: The Secret to Love That Lasts a Lifetime primary image
10 Choices Successful Couples Make: The Secret to Love That Lasts a Lifetime
Welch, Ron
$17.00
Blood Lines primary image
Blood Lines
DeMille, Nelson
$33.00
The Birth of Civilization in the Near East primary image
The Birth of Civilization in the Near East
Frankfort, Henri 1897-1954
$17.95
From Sea to Shining Sea for Young Readers: 1787-1837 primary image
From Sea to Shining Sea for Young Readers: 1787-1837
Marshall, Peter
$18.00
What Do You Hear When Cows Sing?: And Other Silly Riddles primary image
What Do You Hear When Cows Sing?: And Other Silly Riddles
Maestro, Marco
$4.99