Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661818
Price: 57.79 EUR
Availability: InStock
Author: Lennart Beringer
ISBN: 9783642323461

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Lennart Beringer

Amy Felty

Lingua

Inglese

Libro In brossura

Codice Libristo: 01661818

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2012

This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Descrizione completa

Codice Libristo: 01661818

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca

In brossura

26.69 €

Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Libro

In brossura

7.29 €

ORACLES CHALDAIQUES GEMISTE PLETHON Libro

binding.

49.79 €

REGIA AERONAUTICA - Raid e missioni speciali Robert Robison

In brossura

16.09 €

EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ

In brossura

32.39 €

Pokémon - Coloriages extraordinaires

In brossura

7.19 €

Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe

Rigido

30.39 €

BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford

Libro

15.49 €

Ronaldo - Fotbalové ikony (komiks) Katarína Jančová

In brossura

11.19 €

cluny musee national moyen age Libro

Libro

29.49 €

Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston

In brossura

53.39 €

Dunkelgraf Ludwig Bechstein

In brossura

37.29 €

Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo

In brossura

51.19 €

Essais d'Impressions En Couleurs SANS AUTEUR

In brossura

14.19 €

Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor

In brossura

81.89 €

Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges

Rigido

14.99 €

Obra-Jogo Rocha Aldene

In brossura

51.19 €

Koshiki Contact Karatedo Olaf Lotze-Leoni

In brossura

9.49 €

Internationale Projektfinanzierung Carola Schulz

In brossura

35.49 €

Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil

In brossura

17.89 €

Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm

In brossura

16.89 €

August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast

In brossura

16.89 €

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Interactive Theorem Proving

Autore Lennart Beringer, Amy Felty

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2012

Numero di pagine 419

EAN 9783642323461

ISBN 3642323464

Codice Libristo 01661818

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 650

Dimensioni 155 x 235 x 25

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Comunicazione tra computer e reti > Sicurezza di rete

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

Informatica e Tecnologia dell’Informazione > Sicurezza informatica