Computer Science Foundations and Applied Proof Assistants and Their Applications in Mathematics and Computer Science, (Hardcover)

Name: Computer Science Foundations and Applied Proof Assistants and Their Applications in Mathematics and Computer Science, (Hardcover)
Brand: Jasmin Blanchette
SKU: prod_0f6e1e1995f2bc0e7b5ec0c6
Price: 178.00 USD
Availability: InStock

Computer Science Foundations and Applied Proof Assistants and Their Applications in Mathematics and Computer Science, (Hardcover) Author: Springer ISBN: 9783031851896 Format: Hardcover Publication Date: 2026-02-12 Page Count: 390

Shipping & Returns

Price unavailable

Computer Science Foundations and Applied Proof Assistants and Their Applications in Mathematics and Computer Science, (Hardcover)—

$178.00

Price unavailable

Computer Science Foundations and Applied Proof Assistants and Their Applications in Mathematics and Computer Science, (Hardcover)—

$178.00

Related products

You might also want to check out these products.

Twin Size Bed Frame Heavy Duty Platform Bed Frame with Headboard, USB Charging Station, LED Bed, No Box Spring Needed, Mattress Foundation, Strong Steel Slats, Noise Free, Brown00667
Newboti Furniture Full Size Metal Bed Frame with Wooden Headboard, RGB Lights, Charger, Storage Shelf, Noise-Free, No Box Spring Needed,Rustic Brown 39445
Newboti Furniture Retro Curved Wood Console Table, 52 inch Circular Half Moon Sofa Table with Open Shelf and 2 Drawers, Solid Wood Entry Table for Living Room, Hallway, Navy Blue + Brown Top 50246
Newboti Furniture Modern Accent Chair with Ottoman, Living Room Club Chair Chenille Upholstered Armchair, Reading Chair for Bedroom, Green Chenille 48677
Stylish Fabric, Excellent Touch, L-Shaped Design, Intimate Comfort, Large Seated Depth, Free Stretch, Random Combination, Flexible, Full Compression, No Installation Of The Sofa14115
Newboti Furniture 33 Inch Oversized Swivel Corduroy Lounge Chair - Plush Cushioned Armchair for Living Room, Bedroom, Office, or Kids Room - Comfortable Rotatable Single Sofa Chair 23276
Newboti Furniture LED Queen Bed Frame, Storage Headboard with Charging Station, Solid and Stable, Noise Free, No Box Spring Needed, Easy Assembly 83456
Novation Circuit Tracks Standalone Groove Box – Ideal for Beat Making, Live Performance & Music Production W/ Over Ear Audio Headphones, Waith Hard Case & 32GB Memory Card & Adapter Bundle