merchant logo
Animali e forniture per animali
Migliori Marche Royal Canin cibo cani Purina per gatti
Migliori Prodotti Crocchette per cani Scatolette per gatti Snack per animali
Migliori Ricerche Cibo biologico per animali Mangime per tartarughe Cibo secco cani taglia piccola
Migliori Prodotti Cucce per gatti
Migliori Ricerche Accessori per acquario Vestiti per cani Giochi per criceti
Migliori Marche Pet Head shampoo
Migliori Prodotti Shampoo per cani Spazzola per pelo lungo
Migliori Ricerche Lavaggio a secco animali
Migliori Marche Advanced daily multi compresse
Migliori Prodotti Integratori per cani Vitamine per gatti Antistress per animali
Migliori Ricerche Antinfiammatori per animali Prodotti omeopatici per animali
Abbigliamento e accessori
Migliori Marche Prada pantaloni
Migliori Prodotti Camicia di lino Jeans skinny uomo
Migliori Ricerche Abbigliamento elegante uomo T-shirt stampate Sweater collo alto uomo
Migliori Marche Chanel abiti
Migliori Prodotti Vestiti da sera Cardigan oversize
Migliori Ricerche Top leggero estivo Completi eleganti donna
Migliori Marche Nike sneakers
Migliori Prodotti Scarpe da ginnastica Sandali donna
Migliori Ricerche Sneakers platform Scarpe da trekking
Migliori Prodotti Occhiali da sole Cinture in pelle
Migliori Ricerche Cappelli da sole
Casa e giardino
Migliori Prodotti Tavoli da pranzo
Migliori Ricerche Lampade da terra
Migliori Ricerche Piante da interno Concime per piante
Migliori Ricerche Vasi design
Migliori Prodotti Forni a microonde Forni con vapore
Migliori Ricerche Robot da cucina Macchine del caffè
Salute e bellezza
Migliori Marche La Roche-Posay creme
Migliori Ricerche Tonici per pelle sensibile
Migliori Prodotti Rossetti a lunga durata
Migliori Ricerche Integratori per sportivi

Interactive Theorem Proving

A partire da 39,99 $
Avviso di prezzo Prezzo
Avviso di prezzo Prezzo
Prezzo
Resetta i filtri
Prezzo
Resetta i filtri
- image
Interactive Theorem Proving

Disponibilità

Springerlink shop int - de
Visa AmericanExpress PayPal

This book constitutes the refereed proceedings of the 8th International Conference on Interactive T…

Prezzo
39,99$
Vedi

Interactive Theorem Proving

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.