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 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Automated Deduction - CADE-17

Name: Automated Deduction - CADE-17
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567456
Price: 53.79 EUR
Availability: InStock
Author: David McAllester
ISBN: 9783540676645

17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

David McAllester

Lingua

Inglese

Libro In brossura

Codice Libristo: 01567456

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

This book constitutes the refereed proceedings of the 17th International Conference on Automated Ded... Descrizione completa

Codice Libristo: 01567456

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Poverhnostno-aktivnye veshhestva v ob#ektah okruzhajushhej sredy E.Yu. Shachneva

In brossura

37.29 €

Capo Verde

In brossura

17.89 €

Kdo umyje nádobí?

Gioco

12.19 €

La voz de la conciencia ESTEBAN DUQUE

In brossura

22.69 €

Scooby-Doo! i szalejący karateka James Gelsey

In brossura

4.19 €

Die chinesischen und mandschurischen Zierschriften Giovanni Stary

In brossura

37.49 €

Wannseekonferenz Peter Longerich

In brossura

14.59 €

Marek a jeho písničky

CD audio

12.69 €

Cuánto Sabes De... Fútbol Americano Indoor Wanceulen Notebook

In brossura

11.39 €

This book constitutes the refereed proceedings of the 17th International Conference on Automated Deduction, CADE-17, held in Pittsburgh, Pennsylvania, USA, in June 2000.§The 24 revised full research papers and 15 system descriptions presented were carefully reviewed and selected from 53 paper submissions and 20 system description submissions. Also included are contributions corresponding to invited talks and tutorials. The accepted papers cover a variety of topics related to theorem proving and its applications such as proof-carrying code, cryptographic protocol verification, model checking, cooperating decision procedures, program verification, and resolution.

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 Automated Deduction - CADE-17

Autore David McAllester

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2000

Numero di pagine 526

EAN 9783540676645

ISBN 3540676643

Codice Libristo 01567456

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

Peso 819

Dimensioni 155 x 235 x 29

Categorie

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

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

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza

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 > Programmazione / ingegneria del software