Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Logic-Based Program Synthesis and Transformation

Langue AnglaisAnglais
Livre Livre de poche
Livre Logic-Based Program Synthesis and Transformation Elvira Albert
Code Libristo: 01663644
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, avril 2013
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International... Description détaillée
? points 115 b
47.34 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Les Chroniques de Fogas, tome 4 : Une fête inoubliable - Tome 4 Julia Chapman / Livre Livre de poche
common.buy 23.06 €
Le capital au XXIe siecle Thomas Piketty / Livre Livre de poche
common.buy 17.92 €
Saint-Claude dessus-dessous Fierobe / Livre Livre de poche
common.buy 63.56 €
EL ORACULO DEL DESTINO SAGRADO DENISE LINN / Livre Livre
common.buy 35.95 €
Suppenglück Sonja Riker / Livre Livre relié
common.buy 19.63 €
Manual de entrenamiento en habilidades de la Terapia Dialéctico Conductual Radicalmente Abierta (DBT-RO) / Livre Livre de poche
common.buy 64.36 €
Bientôt
Expertenwissen Nacken Marco Gassen / Livre Livre de poche
common.buy 46.13 €
Einheit Auf Befehl? Sabine Collmer / Livre Livre de poche
common.buy 52.88 €
Dieta a Base de Plantas Chantel Stephens / Livre Livre de poche
common.buy 16.01 €
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing Irina Mantai / Livre Livre de poche
common.buy 17.02 €
Konig Von Sion Robert Hamerling / Livre Livre de poche
common.buy 22.25 €
Les Bains de Mer de l'Algerie BERNARD-C / Livre Livre de poche
common.buy 13.59 €
Code Manuel de la Presse. Texte de la Nouvelle Loi, Article Par Article, La Legislation Anterieure FAIVRE-A / Livre Livre de poche
common.buy 27.09 €
ESPAÑA Y NAPOLES JOSE LUIS COLOMER / Livre Livre de poche
common.buy 86.83 €
Un escandalo en Bohemia Arthur Conan Doyle / Livre Livre de poche
common.buy 8.35 €
Direct Speech in Nonnus' Dionysiaca: Narrative and Rhetorical Functions of the Characters' "Varied" and "Many-Faceted" Words Berenice Verhelst / Livre Livre relié
common.buy 201.67 €
Antiquites Etrusques, Grecques Et Romaines Tirees Du Cabinet de M. Hamilton. Tome 2 D Hancarville-P-F / Livre Livre de poche
common.buy 29.31 €

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Logic-Based Program Synthesis and Transformation
Auteur Elvira Albert
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2013
Nombre de pages 245
EAN 9783642381966
ISBN 3642381960
Code Libristo 01663644
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 454
Dimensions 155 x 235 x 15

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Informatique > Informatique théorique > Mathématiques pour les informaticiens
Mathématiques et sciences > Mathématiques > Mathématiques discrètes
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
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

Ceci pourrait également vous intéresser

Predicative Arithmetic. (MN-32) Nelson / Livre Livre relié
common.buy 125.71 €
Top
Mobile Suit Gundam Thunderbolt, Vol. 1 Yasuo Ohtagaki / Livre Livre de poche
common.buy 13.49 €
All Elevations Unknown Sam Lightner / Livre Livre de poche
common.buy 16.31 €
PRIZE ESSAY ON ADULT EDUCATION, AND HOW WILLIAM JOH BULLOCK / Livre Livre relié
common.buy 29.61 €
Same Day Dentistry Revolution Charlie Cole / Livre Livre de poche
common.buy 11.98 €
Irena's Children: Young Readers Edition; A True Story of Courage Tilar J. Mazzeo / Livre Livre de poche
common.buy 7.65 €
The Honor And Integrity Of America David L Sorensen / Livre Livre de poche
common.buy 12.99 €
Top 25 Property Management KPIs of 2011-2012 The Kpi Institute / Livre Livre de poche
common.buy 45.22 €
The Mystic Scroll: A Book of Revelation Helen Van-Anderson / Livre Livre de poche
common.buy 31.52 €
SOUTHERN TIBET, DISCOVERIES IN FORMER TI HEDIN / Livre Livre relié
common.buy 39.08 €
Rick and Morty Presents, Vol. 2 Tini Howard / Livre Livre de poche
common.buy 15.71 €
Great Snowball Fight on Icicle Street Dayton Young / Livre Livre relié
common.buy 25.38 €
Practical User Research Emmanuelle Savarit / Livre Livre de poche
common.buy 52.27 €
God and the Cosmos: A Critical Analysis of Atheism, Materialism and Evolutionism Theodore Graebner / Livre Livre de poche
common.buy 39.08 €
History of World Egyptology Andrew Bednarski / Livre Livre relié
common.buy 211.04 €
Hong Kong Protest Leaders - Sick facts that Western countries do not know Selina Co / Livre Livre de poche
common.buy 7.75 €
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS FRANZ JOSEPH HAYDN / Livre Livre de poche
common.buy 39.68 €
Steam Trains Today Andrew Martin / Livre Livre de poche
common.buy 13.79 €
U.S.-Taiwan Relations Bonnie Glaser / Livre Livre de poche
common.buy 31.52 €
What Makes Cannabis Recipes Work? Ronald E. Hudkins / Livre numérique Adobe ePub DRM
common.buy 5.13 €
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products Y. Asakawa / Livre Livre de poche
common.buy 51.47 €
Ghosts - Notes from a Field Study Ken Lauter / Livre Livre de poche
common.buy 20.64 €
The Archaeology of Political Spaces Dominik Bonatz / Livre Livre relié
common.buy 98.92 €
Influenza Virus Yoshihiro Kawaoka / Livre Livre relié
common.buy 150.40 €

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
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?