Inicio Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings de Stefan Berghofer (Editor); Tobias Nipkow (Editor); Christian Urban (Editor) (ISBN: 9783642033582)

Foto de archivo: la portada puede ser diferente

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings Tapa blanda - 2009 - 2009th Edición

Name: Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Price: 48.96 GBP
Availability: InStock
Author: Stefan Berghofer
ISBN: 9783642033582

de Stefan Berghofer (Editor); Tobias Nipkow (Editor); Christian Urban (Editor)

Ver más ejemplares ↓

Información de la editorial

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

Descripción de contraportada

The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

Detalles

Título Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Autor Stefan Berghofer (Editor); Tobias Nipkow (Editor); Christian Urban (Editor)
Encuadernación Tapa blanda
Número de edición 2009th
Edición 2009
Páginas 517
Volúmenes 1
Idioma ENG
Editorial Springer
Fecha de publicación 2009-08-04
Ilustrado Sí
Features Illustrated, Index, Table of Contents
ISBN 9783642033582 / 364203358X
Peso 1.65 libras (0.75 kg)
Dimensiones 9.2 x 6.1 x 1 pulgadas (23.37 x 15.49 x 2.54 cm)
Dewey Decimal Code 004.015

Ir arriba↑

Más ejemplares

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

de Stefan Berghofer

Nuevo

Estado

Nuevo

ISBN 10 / ISBN 13

9783642033582 / 364203358x

Cantidad disponible

634

Librería

Ria Christie Collections

Uxbridge, Greater London, United Kingdom

Puntuación del vendedor:

Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.

Precio

EUR 58.66

EUR 9.57 enviando a USA

Mostrar detalles

Descripción:

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings.