•  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

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Livre broché | Anglais | Monographs in Computer Science
190,45 €
+ 380 points
Format
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

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
409
Langue:
Anglais
Collection :

Caractéristiques

EAN:
9781441929051
Date de parution :
21-09-11
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
156 mm x 234 mm
Poids :
594 g
Librairie Club

Seulement chez Librairie Club

+ 380 points sur votre carte client de Librairie Club
CADEAU

Ticket de cinéma offert

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

Uniquement dans nos magasins : livret recettes exclusif offert

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

Uniquement dans nos magasins : gagnez un voyage à Prague

à l'achat du nouveau Dan Brown
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.