Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag GmbH
SKU: 49343228
Price: 63.09 EUR
Availability: InStock
Author: Laura Titolo
ISBN: 9783032048479

Laura Titolo

Език

Английски език

Книга С меки корици

Код Либристо: 49343228

Издателство Springer-Verlag GmbH, октомври 2025

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synth... Цялото описание

Код Либристо: 49343228

153 b

63.09 €

123.40 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Gestion Formativa Investigativa Universitaria Martha Virginia Díaz Alarcón

С меки корици

46.34 € 90.63 лв

Grisel, al pie del Moncayo AZAGRA MURILLO

С меки корици

9.36 € 18.30 лв

LAS AVENTURAS DE RUA 1

Книга

21.92 € 42.88 лв

Impacto da gestão de stocks no desempenho da empresa Suleman Bawa

С меки корици

37.75 € 73.84 лв

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9 10, 2025.

The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from 21 submissions. These papers cover 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.