[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Theorem Proving in Higher Order Logics

Langue AnglaisAnglais
Livre Livre de poche
Livre Theorem Proving in Higher Order Logics Victor A. Carreno
Code Libristo: 01564524
Éditeurs Springer, Berlin, novembre 2001
This book constitutes the refereed proceedings of the 15th International Conference on Theorem Provi... Description détaillée
? points 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002.The 20 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 34 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the HOL theorem proving systems evaluated are Isabelle/HOL, Isabelle/Isar, and Coq.

À propos du livre

Nom complet Theorem Proving in Higher Order Logics
Auteur Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2002
Nombre de pages 347
EAN 9783540440390
ISBN 3540440399
Code Libristo 01564524
Éditeurs Springer, Berlin
Poids 513
Dimensions 155 x 235 x 19

Catégories

Informatique et technologies de l’information > Informatique > Intelligence artificielle > Apprentissage par la machine
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Analyse et conception de systèmes
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo