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
La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €
phone Contact phoneComment faire ses achats

Logic Based Program Synthesis and Transformation

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Logic Based Program Synthesis and Transformation Patricia M. Hill
Code Libristo: 01561746
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mars 2006
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium o... Description détaillée
? points 136 b
55.39 € TVA incluse
Stockage externe Expédition sous 10-16 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Анна Каренина Лев Толстой / Livre Livre relié
common.buy 20.09 €
Un nouvel Eden 1 - Une nouvelle erotique interstellaire Dumaitre / Livre audio MP3
common.buy 3.29 €
D.N. Angel Pearls 2 Yukiru Sugisaki / Livre Livre de poche
common.buy 12.00 €
Patientenratgeber Mastzellaktivierungssyndrom (MCAS) Udo Berg / Livre Livre de poche
common.buy 21.30 €
Ökologie des Purpurreihers (Ardea purpurea) in Numidia N. E. Algerien Boudjema Samraoui / Livre Livre de poche
common.buy 54.90 €
Goodbye Istanbul Esmahan Aykol / Livre Livre de poche
common.buy 14.00 €
VILLANUEVA DE CASTRO / Livre Livre de poche
common.buy 19.09 €
KINRA GIRLS - BD - AU COEUR DU LABYRINTHE - TOME 2 Juliette Fournier / Livre Livre relié
common.buy 12.89 €
Ranma 1/2 - Édition originale - Tome 05 Rumiko Takahashi / Livre Livre de poche
common.buy 12.89 €
Der Europäische Sozialstaat und seine Institutionen. Detlef Merten / Livre Livre de poche
common.buy 79.90 €
DDR-Wohnungspolitik ab 1971 und ihre Darstellung in den DEFA-Filmen "Die Legende von Paul und Paula und "Insel der Schwane. Eric Richter / Livre Livre de poche
common.buy 18.95 €
Im Herzland Günther Dellbrügger / Livre Livre relié
common.buy 26.00 €
Routage ad hoc hiérarchique ? base de clusters / Livre Livre de poche
common.buy 63.29 €
Resume de Repetitions Ecrites Sur Le Droit Penal. Code Penal Et Code d'Instruction Criminelle BOEUF-F / Livre Livre de poche
common.buy 26.59 €
Bluchertrompete Ludwig Salomon / Livre Livre de poche
common.buy 9.90 €
Die Idee der Bibliothek und ihre Zukunft Michael Knoche / Livre Livre relié
common.buy 20.00 €
L'Esprit Des Journaux, Francois Et Etrangers... Societe De Gens De Lettres / Livre Livre de poche
common.buy 21.99 €
Faust Johann Wolfgang von Goethe / Livre Livre de poche
common.buy 25.90 €
Lutte Contre La Propagation de la Tuberculose Dans Les Familles Pauvres SANS AUTEUR / Livre Livre de poche
common.buy 12.89 €
Plan de Confederation Europeenne Et Universelle Du Livre Precurseur BREMOND-J-J / Livre Livre de poche
common.buy 12.89 €
Documentos postúmos del Club Pickwick Charles Dickens / Livre Livre de poche
common.buy 11.89 €

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Logic Based Program Synthesis and Transformation
Auteur Patricia M. Hill
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2006
Nombre de pages 182
EAN 9783540326540
ISBN 3540326545
Code Libristo 01561746
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 630
Dimensions 155 x 235 x 20

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Programmation informatique / génie logiciel
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

The Scarlet Pimpernel Orczy Emmuska Baroness / Livre Livre de poche
common.buy 27.09 €
Atlas of the Human Brain Juergen K. Mai / Livre Livre relié
common.buy 265.09 €
Poetry of the Pentateuch Hobart Caunter / Livre Livre relié
common.buy 37.79 €
The Burgess Bird Book for Children: Large Print Thornton W Burgess / Livre Livre de poche
common.buy 9.69 €
Theology and Theologians of Scotland, Chiefly of the Seventeenth and Eighteenth Centuries James Walker / Livre Livre de poche
common.buy 22.29 €
Top
Cambridge International AS & A Level Mathematics: Pure Mathematics 2 & 3 Coursebook Sue Pemberton / Livre Livre de poche
common.buy 45.09 €
Computer and Information Science Applications in Bioprocess Engineering A.R. Moreira / Livre Livre relié
common.buy 85.19 €
Collecta zestaw Zwierzęta morskie 2 / Livre binding.
common.buy 10.69 €
What We Cannot Know: Explorations at the Edge of Knowledge Marcus du Sautoy / Livre audio MP3
common.buy 13.39 €
Lawrence Alma-Tadema Spring MIDI Unl Paperblanks / Livre Livre relié
common.buy 14.19 €
Safely Through the Storm Debra Herbeck / Livre numérique Adobe ePub DRM
common.buy 13.59 €
Cambridge Lower Secondary Humanities Digital Teacher's Resource 7–9 Access Card David Ingledew / Numérique Numérique en ligne
common.buy 133.99 €
Students Who Move and Transfer Schools Noone / Livre Livre de poche
common.buy 16.79 €
Elizabethan Translation and Literary Culture Gabriela Schmidt / Livre Livre relié
common.buy 142.29 €
Silicon-on-Insulator Technology: Materials to VLSI Jean-Pierre Colinge / Livre Livre relié
common.buy 152.59 €
Advanced Photonics with Second-Order Optically Nonlinear Processes A. D. Boardman / Livre Livre de poche
common.buy 50.99 €
Golden Calf Helene Tursten / Livre Livre de poche
common.buy 12.89 €
100 Years of Spanish Cinema Tatjana Pavlovic / Livre Livre de poche
common.buy 51.49 €
Lucretius John Godwin / Livre Livre de poche
common.buy 36.59 €
Uniforms of Imperial and Soviet Russia in Color: As Illustrated by Herbert Knotel, Jr 1907-1946 Robert W. Kenny / Livre Livre relié
common.buy 43.89 €
Alice's Adventures In Molecular Biology Arieh Ben-Naim / Livre Livre de poche
common.buy 30.39 €
Religion and Politics in Presidential Elections Victor Wantatah / Livre Livre de poche
common.buy 18.19 €

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 ?