Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer International Publishing AG
SKU: 9783319274355
Price: 19305 HUF
Availability: InStock

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Szerző: Moreno Falaschi

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International...

Információk a könyvről

Szerző

Moreno Falaschi

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2015

oldal

385

EAN

9783319274355

ISBN

331927435X

Enbook ID

02836544

Kiadó

Springer International Publishing AG

Súly

6088

Méretek

155 x 235 x 25

Teljes leírás

This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International Symposium on Logic-Based Program§Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions.§ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Információk a könyvről

Teljes leírás

Érdekelheti

Little Critter: Just a Special Day

Diseases of the Stomach with Special Reference to Treatment

Exercises in macroeconomic theory III with solutions

Decision Theory and the Future of AI

Vessel

Notebooks de Heem, van Huijsum, Renoir (Set of 3, Large)

Place in the Sun

Royal and Historical Letters During the Reign of Henry the Fourth, King of England and of France, and Lord of Ireland Volume 1

Kindle Paperwhite User Guide

Higher Education

African Personality and Spirituality

Reform without Liberalization

Practical Flow Cytometry 4e

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

N.E.O. Tome 2 : Les Deux Chateaux

Sauvage

Ivan Vyskočil a jeho neliteratura

Soziologia

Por el Templo y por las Casas: Tomo 2

Le Désordre Mondial Du Capitalisme: La Politique Ouvri?re Au Millénaire

Despacito y buenaletra : método para prevenir y corregir las dificultades en la escritura II

Philomela