Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Name: Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Author: Ricardo Pe
ISBN: 9783319141244

Gopal Gupta Édition : Ricardo Pe

22 décembre 2014

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Theoretical Computer Science and General Issues

Auteur

Évaluation éditoriale

ricardo pe

Nom du produit	Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Marque	null
Sous-marque	null
Type	null
Étape de vie	null
Convient aux personnes de	null
Genre	null
Dimensions à l’expédition	9" H x 6" W x 1" L
Taille	null
Taille	null
Couleur	null
Famille de couleurs	null
Style	null
Langue	anglais
Va au four à micro-ondes	null
Genre	null
Va au lave-vaisselle	null
Assemblage requis	null
Piles requises	null
Piles incluses	null
Écologique	null
Exclusivité Indigo	null
Du Canada	null
Ingrédients	null
Allergènes	null
Cote ESRB	null
Style de la carte-cadeau	null
Type de carte-cadeau	null
Format	Couverture souple
Pages	237
Date de sortie	22 décembre 2014
Publié par	Springer/Sci-Tech/Trade
ISBN	9783319141244

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Description

Auteur

Cotes et évaluations

Évaluation éditoriale