• Anglický jazyk

Certified Programming with Dependent Types

Autor: Adam Chlipala

Na objednávku

51.93 €

bežná cena: 57.70 €

O knihe

  • Vydavateľstvo: MIT Press
  • Rok vydania: 2022
  • Formát: Paperback
  • Rozmer: 229 x 178 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9780262545747

Generuje redakčný systém BUXUS CMS spoločnosti ui42.