Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Verified Functional Programming in Agda

Name: Verified Functional Programming in Agda
Brand: Morgan & Claypool Publishers
SKU: 12519283
Price: 565.47 RON
Availability: InStock
Author: Aaron Stump
ISBN: 9781970001273

Aaron Stump

Limba

engleză

Carte Copertă tare

Codul Libristo: 12519283

Editura Morgan & Claypool Publishers, februarie 2016

Provides a systematic exposition of external and internal verification in Agda, suitable for undergr... Descrierea completă

Codul Libristo: 12519283

261 b

565.47 lei

În depozitul extern Expediem în 10-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Entlarvung der Simulation von Blindheit und Schwachsichtigkeit August Roth

Carte broșată

87.55 lei

Os saberes-poderes em um jogo Massive Multiplayer Online Artur Alves De Oliveira Chagas

Carte broșată

320.54 lei

Geruch nach Kreide Jürgen Schmidt

Carte broșată

55.56 lei

Sukces jest dla ciebie Hawkins David R.

Copertă tare

68.13 lei

Jan Vančura Helena Albertová

Carte broșată

41.33 lei

Les francs-tireurs de l'armée oubliée des Cognets

Carte broșată

144.27 lei

UN'ANALISI DELLA PERFORMANCE FINANZIARIA DELLE BANCHE COMMERCIALI PROGRAMMATE Sonia Chabra

Carte broșată

379.64 lei

focolare è una bestia affamata Angelo Maria Perongini

Carte broșată

51.93 lei

Provides a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. The book begins with an introduction to functional programming. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included.