Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
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
0
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 DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Introduction to Dependent Types with Idris

Encoding Program Proofs in Types

Limba englezăengleză
Carte Carte broșată
Carte Introduction to Dependent Types with Idris Boro Sitnikovski
Codul Libristo: 42804709
Editura Springer, Berlin, noiembrie 2022
Dependent types are a concept that allows developers to write proof-carrying code. Idris is a progra... Descrierea completă
? points 74 b
161.65 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

PEQUEÑO JUEGO RATONCITA PEREZ / Carte Carte
common.buy 98.07 lei
Sowieckie tajemnice II wojny światowej Drozdowski Krzysztof / Carte Carte broșată
common.buy 55.55 lei
1, 2, 3, lune - méthode de lecture CP - 2024 - Fichier à photocopier - Lecture-Compréhension Jean-Claude Seguy / Carte Carte broșată
common.buy 222.73 lei
A Crown of Lies and Flames Whisper Publishing / Carte Carte broșată
common.buy 99.64 lei
Tant Que Les Heures Passent Audio Audio CD
common.buy 106.83 lei
Ordonnances en cardiologie et maladies vasculaires 2023 - 2e édition Maréchaux / Carte Carte broșată
common.buy 246.81 lei
Matematika pro 1. ročník Josef Molnár; Hana Mikulenková / Carte Carte broșată
common.buy 17.19 lei
Estimativa osteométrica da idade de fetos humanos Cristiana Carneiro / Carte Carte broșată
common.buy 346.25 lei
Vivre ou juste exister 4 Eduard Wagner / Carte Carte broșată
common.buy 75.56 lei
Saturnin Zdeněk Jirotka / Audio Audio CD
common.buy 29.07 lei
Princesa do Senhor Wilklécia Raquel / Carte Carte broșată
common.buy 81.81 lei
Gabby's Dollhouse: Cat-Tastic Heroes to the Rescue (Sp Tk) Gabhi Martins / Carte Carte broșată
common.buy 30.63 lei
Pourquoi moi je suis moi ? et autres questions d'enfance Péju / Carte Carte broșată
common.buy 76.81 lei
Les Derniers Peaux-Rouges Gros-J / Carte Carte broșată
common.buy 122.15 lei
Felicidad que permanece: Lo esencial de las Constelaciones Familiares Bert Hellinger / Carte Carte broșată
common.buy 73.99 lei
Das Hospital auf dem Palmenhof Sebastian Kroener / Carte Copertă tare
common.buy 198.86 lei
Las adqusiciones financiadas en el crédito al consumo ESCUIN IBAÑEZ / Carte Carte broșată
common.buy 140.18 lei
La maragatería : pasado y futuro del mundo rural Christina Bernis Carro / Carte Carte broșată
common.buy 130.49 lei
Guía completa de fotografía digital. Glamour Duncan Evans / Carte Carte broșată
common.buy 224.19 lei
Pouvoir Des Papes Depuis La Proclamation Du Dogme de l'Infaillibilit J - F Von Schulte / Carte Carte broșată
common.buy 129.13 lei
Top
Podívej se, kdo se schovává - Na zahradě neuvedený autor / Carte Cărți pliante
common.buy 11.98 lei
Agit / Carte Carte broșată
common.buy 67.32 lei
Etude Des Variations Dans La Manipulation Comportementale Parasitaire Nathalie Franceschi / Carte Carte broșată
common.buy 380.96 lei
L'Amour, l'amour, roman sentimental Tanase / Carte Carte broșată
common.buy 72.01 lei

Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.The first part of the book serves as an introduction to the language's underlying theories. It starts by reviewing formal systems and mathematical logical systems as foundational building blocks, then gradually builds up to dependent types. Next, you'll learn type theory for dependent types. Following this, you'll explore the Idris programming language and conclude by exploring the depths of formal systems and type checkers by implementing them.Introduction to Dependent Types with Idris will walk you through simple examples through more advanced techniques, stepping up the difficulty as you gain more knowledge. Every chapter includes a set of exercises based on what it covered to further cement your learning. No specialized knowledge of mathematics is expected beyond the basics, so it is perfect for novices.What You Will Learn Understand Lambda calculus and dependent types Gain insight into functional programmingWrite mathematical proofs with IdrisWho This Book Is ForProgrammers, mathematicians, academics, and anyone else interested learning dependent types and lambda calculus.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Introduction to Dependent Types with Idris
Autor Boro Sitnikovski
Limba engleză
Legare Carte - Carte broșată
Data publicării 2023
Număr pagini 157
EAN 9781484292587
Codul Libristo 42804709
Editura Springer, Berlin
Greutatea 254
Dimensiuni 155 x 235

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Machine Learning and Mechanics Based Soft Computing Applications Thi Dieu Linh Nguyen / Carte Carte broșată
common.buy 669.79 lei
Python Programming Professional Made Easy & Windows 8 Tips for Beginners Sam Key / Carte Carte broșată
common.buy 56.69 lei
The Penalty Gouverneur Morris / Carte Carte broșată
common.buy 47.10 lei
French Drawings from the Age of Claude, Poussin, Watteau, and Fragonard Edouard Kopp / Carte Copertă tare
common.buy 277.14 lei
Hunt Evil: A Psychological Thriller That Will Hook You Till the Last Page Julia Derek / Carte Carte broșată
common.buy 72.01 lei
American Psyche Elsasser George / Carte Copertă tare
common.buy 173.43 lei
Perfume and Flavor Chemicals (Aroma Chemicals) Vol.1 Steffen Arctander / Carte Copertă tare
common.buy 416.29 lei
Douglas Montgomery's Introduction to Statistical Quality Control RAMIREZ / Carte Carte broșată
common.buy 319.98 lei
The Background of Mystery and Other Verses George Macdonald / Carte Carte broșată
common.buy 84.83 lei
Boy Aviators in Africa Wilbur Lawton / Carte Carte broșată
common.buy 108.50 lei
History of the Christian Church: Biblical Approach Otoniel Lumbi / Carte Carte broșată
common.buy 57.11 lei
Transference Jeff Fuell / Carte Carte broșată
common.buy 81.81 lei
Cognitive English Spelling Bootcamp For Kindergarten Kalman Toth M a M Phil / Carte Carte broșată
common.buy 81.60 lei
The Law of Attraction N M Silber / Carte Carte broșată
common.buy 57.11 lei
Life: A Mysterious Journey Svami Purna / Carte Carte broșată
common.buy 131.74 lei
Testosterone Joe Herbert / Carte Carte broșată
common.buy 87.86 lei
Elizabeth the Queen SMITH SALLY BEDEL / Carte Carte broșată
common.buy 101.10 lei
Higher-Order Logic and Type Theory John L. Bell / Carte Carte broșată
common.buy 144.56 lei
Top
Made in Abyss Vol. 14 Akihito Tsukushi / Carte Carte broșată
common.buy 62.95 lei
The Wild Robot / Videoclip DVD
common.buy 50.54 lei
The Language of Sex Work Rodrigo Borba / Carte Copertă tare
common.buy 1 163.64 lei
The Empusium Antonia Lloyd-Jones / Carte Carte broșată
common.buy 130.49 lei
Introduction to Solar Photovoltaic Energy Anouar Bellabaci / Carte Carte broșată
common.buy 217.94 lei
Lodge's 'Rosalynde': Being the Original of Shakespeare's 'As you Like it' Thomas Lodge / Carte Carte broșată
common.buy 116.94 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?