•  Retrait en 2 heures
  •  Assortiment impressionnant
  •  Paiement sécurisé
  •  Toujours un magasin près de chez vous
  •  Retrait gratuit dans votre magasin Club
  •  7.000.0000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous

Livres

Papeterie

Jeux

Cadeaux

Tous les produits

Ebooks

Carte cadeau Club

Promotions

  1. Accueil
  2. Livres
  3. Savoirs
  4. Informatique
  5. Sciences informatiques
  6. Mathématiques
  7. Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Livre broché | Anglais | Theoretical Computer Science and General Issues | n° 5674
125,95 €
+ 251 points
Livraison 1 à 2 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

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.

Spécifications

Parties prenantes

Editeur:
Springer

Contenu

Nombre de pages :
517
Langue:
Anglais
Collection :
Theoretical Computer Science and General Issues
Tome:
n° 5674

Caractéristiques

EAN:
9783642033582
Date de parution :
04-08-09
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
155 mm x 234 mm
Poids :
748 g
Librairie Club

Seulement chez Librairie Club

+ 251 points sur votre carte client de Librairie Club
CADEAU

Ticket de cinéma offert

à l'achat d'un Bongo à partir de 39 €
Profitez de cette offre
CADEAU
Ticket de cinéma offert
CADEAU

Uniquement dans nos magasins : livret recettes exclusif offert

à l'achat d'un livre de la sélection
Vers la sélection
CADEAU
Livret de recettes exclusif offert
CONCOURS

Uniquement dans nos magasins : gagnez un voyage à Prague

à l'achat du nouveau Dan Brown
Commander
CONCOURS
Gagnez un voyage à Prague
Standaard Boekhandel

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.