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 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Logic-Based Program Synthesis and Transformation

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Logic-Based Program Synthesis and Transformation Maurizio Proietti
Code Libristo: 09249952
Éditeurs Springer International Publishing AG, avril 2015
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Pokrevenstvo Amberu Roger Zelazny / Livre Livre relié
common.buy 8.89 €
Je te vois reine des quatre parties du monde Alexandre Lapierre / Livre Livre de poche
common.buy 14.39 €
Leadership John C. Maxwell / Livre Livre
common.buy 14.00 €
Mystische Dimensionen der Psyche Lars Tischler / Livre Livre de poche
common.buy 17.95 €
M'as-tu vu en cadavre ? Malet / Livre Livre relié
common.buy 21.09 €
MEJORA DE LAS FUNCIONES EJECUTIVAS Y CONDUCTUALES 2 (ALUMNO) NOELIA GARCIA GONZALEZ / Livre Livre de poche
common.buy 46.59 €
Kirchen - verständlich gemacht. Eine illustrierte und verständliche Baustilkunde zur christlichen Architektur: Kathedralen, Kapellen, Klöstern, Abteie Denis McNamara / Livre Livre de poche
common.buy 9.99 €
Černé ovce a beránek Boží Joanna Cannonová / Livre Livre relié
common.buy 17.39 €
45 Recettes de Repas pour la Réduction des Crampes musculaires: Eliminez les crampes musculaires pour de bon en utilisant une nourriture intelligente Joe Correa Csn / Livre Livre de poche
common.buy 16.39 €
Untersuchungen über Gegenstände der höheren Geodäsie Carl Fr. Gauß / Livre Livre de poche
common.buy 93.49 €
Top
Biologie víry Bruce H. Lipton / Livre Livre relié
common.buy 15.89 €
Coloraines, Eduació Infantil, 3 anys. 1 trimestre Mireia . . . [et al. ] Fernández Ramírez / Livre Livre de poche
common.buy 52.97 €
Globalización y salud mental Antoni Talarn / Livre Livre de poche
common.buy 33.89 €
Justizmord Hans-Rudolph Schneider / Livre Livre de poche
common.buy 19.90 €
Direkt NEU 1 G. Motta / Audio CD Audio
common.buy 19.79 €
Integration de La Promotion de La Sante Au Sein Du Tourisme de Bien-Etre JOHANNA RIBOULON / Livre Livre de poche
common.buy 32.79 €

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014.§§The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming, and program transformation and optimization.

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 Maurizio Proietti, Hirohisa Seki
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2015
Nombre de pages 333
EAN 9783319178219
ISBN 3319178210
Code Libristo 09249952
Éditeurs Springer International Publishing AG
Poids 534
Dimensions 155 x 235 x 19

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 > 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
Informatique et technologies de l’information > Systèmes d’exploitation
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

Cost Accounting and Financial Management for Construction Project Managers HOLM / Livre Livre relié
common.buy 215.89 €
Information Security Seymour Goodman / Livre Livre de poche
common.buy 85.09 €
Just Cause Carolyn Arnold / Livre Livre relié
common.buy 30.89 €
Kearny's March Winston Groom / Livre Livre de poche
common.buy 19.59 €
Korea Strait David Poyer / Livre Livre de poche
common.buy 19.69 €
Chinese Research Perspectives on Population and Labor, Volume 1 Fang Cai / Livre Livre relié
common.buy 200.69 €
Theoretical Scholarship and Applied Practice Sarah Pink / Livre Livre relié
common.buy 152.39 €
British Antarctic ("Terra Nova") Expedition, 1910; Natural History Reports, Vol. 1 British Antarctic Expedition / Livre Livre de poche
common.buy 20.79 €
LONGFELLOW & HIS POETRY William Henry Oliphant 1856-19 Smeaton / Livre Livre de poche
common.buy 19.09 €
Drifters Volume 5 Kohta Hirano / Livre Livre de poche
common.buy 12.49 €
Confessions of a Middle-Aged Hippie Geek Karen S Eubank / Livre Livre de poche
common.buy 16.29 €
The Day Will Come Mary E. Braddon / Livre Livre de poche
common.buy 37.29 €
The Magic Coat Gary McNeil / Livre Livre de poche
common.buy 6.99 €
Next of Kin Marianne Langner Zeitlin / Livre Livre de poche
common.buy 10.09 €
Determined Martin Baranek / Livre Livre de poche
common.buy 22.99 €
Urban Intervention: Design Ideas for Public Space Wang Shaoqiang / Livre Livre relié
common.buy 49.89 €
100 Dogs Michael Whaite / Livre Livre Concertina
common.buy 9.19 €
Police and Military Dogs John Ensminger / Livre Livre de poche
common.buy 54.09 €
Animal Coloring Book For Adults: Best Animal Coloring book for ever ! 100 pages awesome illistration will be best for gift Coloring Book Press / Livre Livre de poche
common.buy 7.99 €
Lectures at St. Peters, in 1890, on Some Urinary Disorders Connected with the Bladder, Prostate and Urethra (1890) Reginald Harrison / Livre Livre de poche
common.buy 21.99 €
Ghost in the Well Crandol / Livre Livre relié
common.buy 104.99 €
Great Names in American History John G. Gilmartin / Livre Livre relié
common.buy 37.69 €
Western Africa: Along the Atlantic Ocean Coast Adil Dalbai / Livre Livre de poche
common.buy 52.09 €
Flight of Cornelia Blackwood Susan Elliot Wright / Livre audio MP3
common.buy 15.39 €

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 ?