Elettronica

Smartphone Android

Migliori Marche Samsung Galaxy S26 Xiaomi 16 OPPO Find X9 Google Pixel 10
Migliori Prodotti smartphone 5G telefono Android dual SIM smartphone con fotocamera 200MP smartphone con batteria 5000 mAh
Migliori Ricerche smartphone 5G economico telefono con migliore fotocamera

Auricolari e cuffie wireless

Migliori Marche Apple AirPods Pro 3 Sony WH-1000XM6 Bose QuietComfort Ultra Samsung Galaxy Buds3
Migliori Prodotti auricolari Bluetooth con cancellazione rumore cuffie wireless over ear auricolari true wireless sport cuffie per chiamate e lavoro
Migliori Ricerche migliori auricolari wireless 2026

Smart TV e streaming

Migliori Marche Samsung TV OLED LG OLED evo Sony Bravia 8 Hisense TV U8
Migliori Prodotti Smart TV 55 pollici 4K TV OLED 65 pollici decoder IPTV fire tv stick 4K
Migliori Ricerche migliori Smart TV 2026 TV 55 pollici offerte smart tv economica 4K

Computer portatili e accessori

Migliori Marche Apple MacBook Air M4 ASUS Zenbook Lenovo ThinkPad HP Pavilion
Migliori Prodotti computer portatile leggero mouse wireless ergonomico tastiera meccanica italiana monitor portatile USB-C
Migliori Ricerche pc portatile lavoro da casa accessori MacBook USB-C
Salute e bellezza

Skincare viso

Migliori Marche La Roche-Posay CeraVe Avène Bioderma
Migliori Prodotti crema viso idratante siero acido ialuronico protezione solare viso SPF 50 detergente viso delicato
Migliori Ricerche skincare pelle sensibile routine viso anti-imperfezioni crema viso uomo

Trucco e make-up

Migliori Marche KIKO Milano L'Oréal Paris Maybelline MAC Cosmetics
Migliori Prodotti rossetto liquido a lunga tenuta fondotinta opacizzante mascara effetto volume palette ombretti neutri
Migliori Ricerche trucco occhi marroni

Profumi e fragranze

Migliori Marche Giorgio Armani Beauty Dolce & Gabbana Beauty Versace Profumi Yves Saint Laurent Beauty
Migliori Prodotti profumo uomo intenso eau de parfum donna profumo unisex agrumato mini size profumo
Migliori Ricerche nuovi profumi 2026 profumo per regalo donna fragranze autunnali

Cura dei capelli

Migliori Marche Ghd Dyson Hair L'Oréal Professionnel Kérastase
Migliori Prodotti asciugacapelli professionale piastra capelli lisciante spazzola ad aria calda maschera capelli ristrutturante
Migliori Ricerche cura capelli crespi accessori capelli per styling trattamento capelli danneggiati
Casa e giardino

Pulizia della casa

Migliori Marche Dyson Rowenta iRobot Vileda
Migliori Prodotti aspirapolvere senza filo robot aspirapolvere mocio spray detergente pavimenti profumato
Migliori Ricerche miglior aspirapolvere senza filo robot aspirapolvere casa con animali pulizia casa veloce offerte elettrodomestici pulizia

Arredo soggiorno

Migliori Marche IKEA Maisons du Monde Mondo Convenienza Calligaris
Migliori Prodotti divano letto mobile TV moderno tavolino da salotto libreria a parete
Migliori Ricerche idee soggiorno moderno divani piccoli per appartamento mobili soggiorno economici

Giardinaggio autunnale

Migliori Marche Bosch Garden Gardena Einhell Stihl
Migliori Prodotti soffiatore foglie forbici da potatura guanti da giardinaggio
Migliori Ricerche giardinaggio ottobre cura prato autunno attrezzi giardino elettrici pulizia foglie giardino

Cucina e piccoli elettrodomestici

Migliori Marche De'Longhi Bialetti Philips KitchenAid
Migliori Prodotti macchina caffè espresso friggitrice ad aria bollitore elettrico robot da cucina
Migliori Ricerche macchine caffè per casa elettrodomestici cucina piccoli spazi offerte piccoli elettrodomestici
Sport e attività all'aperto

Corsa e running

Migliori Marche Nike Running Adidas Running ASICS Hoka
Migliori Prodotti scarpe da corsa uomo tute da running orologio GPS running calze tecniche running
Migliori Ricerche abbigliamento running autunno smartwatch per corsa

Calcio

Migliori Marche Nike Adidas Puma Joma
Migliori Prodotti scarpe da calcio tacchetti palloni da calcio professionali parastinchi calcio maglie calcio 2026
Migliori Ricerche maglie squadra Italia accessori allenamento calcio

Palestra e fitness

Migliori Marche Technogym Decathlon Under Armour Gymshark
Migliori Prodotti manubri regolabili tappetino yoga antiscivolo elastici fitness smartwatch fitness
Migliori Ricerche allenamento casa attrezzi migliori accessori palestra abbigliamento training uomo fitness tracking orologio

Escursionismo e trekking

Migliori Marche The North Face Columbia Salomon Ferrino
Migliori Prodotti scarponi trekking impermeabili zaino trekking 30 litri bastoncini da trekking giacca antipioggia trekking
Migliori Ricerche equipaggiamento trekking leggero zaini trekking per weekend
Springer Nature
Types For Proofs And Programs-image

Types For Proofs And Programs

Leggi la descrizione completa
Miglior prezzo disponibile
42,79€
Springer Nature · Spedizione gratuita
Vedi Offerta
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993. As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.

Storico prezzi

Ricevi una notifica se il prezzo scende

Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.

  • Aggiornamenti dei prezzi in tempo reale
  • Oltre 50 negozi monitorati
  • Avvisi gratuiti di calo prezzo
  • Solo negozi verificati

Avvisami quando il prezzo scende sotto: 42,79€

Ho letto e accettato i informativa sulla privacy.

Prodotti simili

Una selezione di prodotti che potrebbero interessarti. Guarda tutti

Types For Proofs And Programs 52,74€ Certified Programs And Proofs 42,79€ Termination Proofs For Logic Programs 52,74€