AGDA PROGRAMMING for MATHEMATICAL SOFTWARE: Dependently typed functional language research and teaching

Priser från
130,94

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching
Description Beskrivning
Product Specifications Produktspecifikationer
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
130,94 kr
Til butik
Amazon Marketplace Logga
130,94 kr
Til butik
Beskrivning (1)

AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching

Produktspecifikationer

Märke Independently Published
EAN
  • 9798269495729

Priser uppdaterades senast:

Morgan & Claypool

Verified Functional Programming in Agda

755,55 kr
Mer information Mer info

Independently Published

Mastering Idris 2: Advanced Techniques in Dependently Typed Programming

389,34 kr
Jämför 2 butiker 2 Butiker

Independently Published

PURE programming LANGUAGE ESSENTIALS: Mathematical functional with GPU acceleration

141,02 kr
Jämför 2 butiker 2 Butiker

Springer

BIM Geometry with Julia Plasm―Functional Language for CAD Programming: Volume 1: Mathematics...

1.402,09 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
130,94 kr
Til butik