Verified Functional Programming in Agda

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9781970001242
• Dimensioni: 235 x 15 x 191 mm Ø 526 gr
• Formato: Brossura
• Pagine Arabe: 284