Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Logic-Based Program Synthesis and Transformation

29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic-Based Program Synthesis and Transformation Maurizio Gabbrielli
Libristo-code: 28240705
Uitgeverij Springer Nature Switzerland AG, april 2020
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International... Volledige beschrijving
? points 125 b
51.57 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

101 merveilles du ciel qu'il faut avoir vues dans sa vie Emmanuel Beaudoin / Boek Gebonden (paperback)
common.buy 26.14 €
Tratamiento de las crestas comprometidas en implantología Vishal Bansal / Boek Gebonden (paperback)
common.buy 31.99 €
Sista chansen Bengt-Ake Cras / E-book Adobe ePub DRM
common.buy 7.46 €
Protein-Therapie Und Unspezifische Leistungssteigerung William Petersen / Boek Gebonden (paperback)
common.buy 76.91 €
leone e il corazziere. L'anima del rugby in Carwyn James e Doro Quaglio Marco Pastonesi / Boek Gebonden (paperback)
common.buy 18.46 €
Res publica Europa Christopher Balme / E-book Adobe ePub DRM
common.buy 14.32 €
LES ARISTOCHATS - Les Grands Classiques - L'histoire du film - Disney / Boek Boek
common.buy 15.23 €
Au péril des guerres de Religion Le Gall / Boek Gebonden (paperback)
common.buy 15.74 €
Alphabetisierung in der Fremdsprache Deutsch Albert Ruth / Boek Gebonden (harde band)
common.buy 34.01 €
Balettiskola 3. - A nagy gála Aurora Marsotto / Boek Gebonden (harde band)
common.buy 5.04 €
The Best Photographers IV / Boek Blad
common.buy 15.03 €
Fabrication Des Etoffes. Traite Du Travail Des Laines. Tome 2 Alcan-M / Boek Gebonden (paperback)
common.buy 29.37 €
Guide Kandolo Pierre Félix Kandolo On'ufuku wa Kandolo / Boek Gebonden (paperback)
common.buy 57.73 €
Branislav Nusic: Sabrana Dela Branislav Nusic / Boek Gebonden (paperback)
common.buy 19.27 €

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
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 Maurizio Gabbrielli
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2020
Aantal pagina's 261
EAN 9783030452599
Libristo-code 28240705
Uitgeverij Springer Nature Switzerland AG
Gewicht 454
Afmetingen 155 x 235 x 16

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
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

Dit vind je misschien ook interessant

Responses to Geographical Marginality and Marginalization Etienne Nel / Boek Gebonden (paperback)
common.buy 154.04 €
Advanced Arduino Techniques in Science Richard J. Smythe / Boek Gebonden (paperback)
common.buy 25.23 €
Saving the Countryside: The Story of Beatrix Potter and Peter Rabbit Linda Marshall / Boek Gebonden (harde band)
common.buy 14.22 €
TOP Nieuw
Wristwatch Annual 2026 Peter Braun / Boek Gebonden (paperback)
common.buy 30.38 €
Radioactivity Michael Wiescher / E-book Adobe ePub DRM
common.buy 79.03 €
QUIET ROOM MILES TERRY / Boek Gebonden (paperback)
common.buy 14.22 €
Vibrational excitations in multilayer nanostructures Iordanovich / Boek Gebonden (harde band)
common.buy 167.56 €
Death in the Great Dismal Eleanor Kuhns / Boek Gebonden (paperback)
common.buy 17.55 €
An Account of Recent Progress in Classical Archaeology, 1875-89 Alfred Emerson / Boek Gebonden (paperback)
common.buy 16.44 €
Horrors of Fox Hollow Farm Richard Estep / Boek Gebonden (paperback)
common.buy 16.34 €
The Wolves of Slough Creek Judy Young / Boek Gebonden (paperback)
common.buy 8.37 €
How to Raise Strong & Healthy Chickens: Quick Start Guide Htebooks / Boek Gebonden (paperback)
common.buy 8.57 €
Dopamine Nadine Kabbani / Boek Gebonden (harde band)
common.buy 100.53 €
Deep Learning Michael Fullan / Boek Gebonden (paperback)
common.buy 31.08 €
Scripture Chase Sudoku: Old Testament Edition Kelley Marsh / Boek Gebonden (paperback)
common.buy 9.18 €
Music Beaded Bookmark Peter Pauper Press / Boek Gebonden (paperback)
common.buy 5.24 €
Merchants, Companies and Trade Sushil Chaudhury / Boek Gebonden (harde band)
common.buy 146.97 €
Mean Girls: One Act Play Trisha Sugarek / Boek Gebonden (paperback)
common.buy 7.16 €
Salve Regina DIOGO DIAS MELGAS / Drukwerk Bladmuziek
common.buy 8.27 €
Quantum Logic Peter Mittelstaedt / Boek Gebonden (paperback)
common.buy 102.76 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?