Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Logic-Based Program Synthesis and Transformation

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

Laura Titolo

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 49343228

Uitgeverij Springer-Verlag GmbH, oktober 2025

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synth... Volledige beschrijving

Libristo-code: 49343228

145 b

59.85 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

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

Gebonden (paperback)

43.77 €

Grisel, al pie del Moncayo AZAGRA MURILLO

Gebonden (paperback)

8.99 €

LAS AVENTURAS DE RUA 1

Boek

20.92 €

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

Gebonden (paperback)

35.68 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logic-Based Program Synthesis and Transformation

Auteur Laura Titolo

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2025

Aantal pagina's 194

EAN 9783032048479

ISBN 3032048478

Libristo-code 49343228

Uitgeverij Springer-Verlag GmbH

Gewicht 347

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger