logo

Fri frakt på alle bøker

Verified Functional Programming in Agda

Verified Functional Programming in Agda

Aaron Stump

Format

Hardcover

Vekt

633 g

ISBN

9781970001273

Språk

Engelsk

1530,-

Trykkes på forespørsel. Forvent litt lengre leveringstid.