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
Relaterade resultat Relaterade resultat
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

Morgan & Claypool

Verified Functional Programming in Agda

992,61 kr
Mer information Mer info

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
Mer information Mer info

Independently Published

Programming with Racket: A Guide to Functional and Language Design

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