Offre spéciale sur les Précis de droit Stämpfli : Jusqu’à fin novembre, profitez d’un rabais de 20% sur les manuels d’enseignement et les livres pour la pratique suivants.
Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover

Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant
Livre (broché)81.00 CHF
livrable dans env. 20-45 jours

Informations bibliographiques

juin 2022, Anglais
University Presses
978-0-262-54574-7

Mots-clés

Autres titres sur ce thème

Confident Coding
Learn How to Code and Master the Essentials
Kogan Page, 2023
978-1-3986-1188-7
26.90 CHF
disponible de suite
Snapchat Guide
Ingram Publishers Services, 2021
978-1-68442-827-4
15.50 CHF
livrable dans env. 10-20 jours
Getting to Know Web GIS
Ingram Publishers Services, 2020
978-1-58948-592-1
120.00 CHF
livrable dans env. 10-20 jours
Unity in Embedded System Design and Robotics
A Step-by-Step Guide
Taylor and Francis, 2022
978-1-03-221477-1
310.00 CHF
livrable dans env. 10-20 jours
Mobile and Wireless Communications with Practical Use-Case Scenarios
Taylor and Francis, 2022
978-1-03-211901-4
196.00 CHF
livrable dans env. 10-20 jours
Algorithms in Structural Molecular Biology
University Presses, 2023
978-0-262-54879-3
95.00 CHF
livrable dans env. 20-45 jours
The Big Book of Drones
Taylor and Francis, 2022
978-1-03-206282-2
47.90 CHF
livrable dans env. 10-20 jours
Beginning Power Apps
The Non-Developer's Guide to Building Business Applications
Springer Nature EN, 2021
978-1-4842-6682-3
53.90 CHF
livrable dans env. 20-45 jours
Engineering Production-Grade Shiny Apps
Taylor and Francis, 2021
978-0-367-46602-2
86.00 CHF
livrable dans env. 10-20 jours
Teach Yourself VISUALLY iPhone 16
Wiley, 2024
978-1-394-29880-8
env. 43.50 CHF
disponible dès décembre 2024
Intelligent Mobile Malware Detection
Taylor and Francis, 2022
978-0-367-63871-9
120.00 CHF
livrable dans env. 10-20 jours