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: 01656145
Price: 119.39 EUR
Availability: InStock
Author: Matt Kaufmann
ISBN: 9783642140518

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Matt Kaufmann

Lawrence C. Paulson

Lingua

Inglese

Libro In brossura

Codice Libristo: 01656145

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

This book constitutes the refereed proceedings of the First International Conference on Interactive... Descrizione completa

Codice Libristo: 01656145

292 b

119.39 €

Magazzino esterno Inviamo tra 9-15 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze

In brossura

7.19 €

Obstbau E. Voges

In brossura

18.79 €

Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen

In brossura

41.99 €

Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener

In brossura

16.89 €

Test der verschiedenen Proteinanteile Serge Munganga Kabate

In brossura

40.99 €

Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger

In brossura

33.09 €

Nitra Vladimír Barta

Rigido

35.49 €

DF 81 ALEJ MAGNO IV INDIA A BABILONIA

Libro

10.29 €

Nach Spanien Und Portugal H. Obersteiner

In brossura

27.99 €

Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков

Rigido

19.19 €

Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles

In brossura

9.49 €

Haltestelle Brussel Hermann Bausinger

In brossura

20.49 €

Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo

In brossura

65.19 €

Politische Gesprache der Toten Anonymus

In brossura

37.29 €

Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch

In brossura

14.69 €

Solo-Klaviermusik Vol.6 Miklos Spanyi

CD audio

17.39 €

Une Page de l'Histoire de Napoleon 1er Le Moine-O

In brossura

16.09 €

Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur

In brossura

13.19 €

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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 Matt Kaufmann, Lawrence C. Paulson

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2010

Numero di pagine 495

EAN 9783642140518

ISBN 3642140513

Codice Libristo 01656145

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

Peso 759

Dimensioni 155 x 238 x 33

Categorie

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

Medicina e Infermieristica > Medicina clinica e interna > Malattie e disturbi > Immunologia

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati

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

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

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

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