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

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic-Based Program Synthesis and Transformation Moreno Falaschi
Libristo-code: 02836544
Uitgeverij Springer International Publishing AG, december 2015
This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International... Volledige beschrijving
? points 125 b
51.73 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

N.E.O. Tome 2 : Les Deux Chateaux Michel Bussi / Boek Gebonden (paperback)
common.buy 10.42 €
Sauvage / Boek Gebonden (paperback)
common.buy 30.17 €
Ivan Vyskočil a jeho neliteratura Pavel Janoušek / Boek Boek
common.buy 7.18 €
Soziologia Horton / Boek Gebonden (paperback)
common.buy 27.94 €
Por el Templo y por las Casas: Tomo 2 Juan A. Morales / Boek Gebonden (paperback)
common.buy 19.33 €
Le Désordre Mondial Du Capitalisme: La Politique Ouvri?re Au Millénaire Jack Barnes / Boek Gebonden (paperback)
common.buy 28.75 €
Despacito y buenaletra : método para prevenir y corregir las dificultades en la escritura II José Ramiro Viso Alonso / Boek Gebonden (paperback)
common.buy 17.00 €
Philomela Lena Behmenburg / Boek Gebonden (harde band)
common.buy 208.59 €

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.

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 Moreno Falaschi
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 385
EAN 9783319274355
ISBN 331927435X
Libristo-code 02836544
Uitgeverij Springer International Publishing AG
Gewicht 6088
Afmetingen 155 x 235 x 25

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Wiskunde en wetenschap > Wiskunde > Discrete wiskunde
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeringstechnieken
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Object-georiënteerd programmeren (OOP)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Besturingssystemen
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

Little Critter: Just a Special Day Mercer Mayer / Boek Gebonden (paperback)
common.buy 4.75 €
Diseases of the Stomach with Special Reference to Treatment Charles Dettie Aaron / Boek Gebonden (harde band)
common.buy 41.10 €
Exercises in macroeconomic theory III with solutions Echevarría Olave / Boek Gebonden (paperback)
common.buy 19.13 €
Decision Theory and the Future of AI Yang Liu / Boek Gebonden (harde band)
common.buy 103.07 €
Vessel Matthew Bryant / Boek Gebonden (paperback)
common.buy 10.32 €
Notebooks de Heem, van Huijsum, Renoir (Set of 3, Large) Arca Publishers / Boek Gebonden (paperback)
common.buy 9.61 €
Place in the Sun Tim Tingle / Boek Gebonden (paperback)
common.buy 22.37 €
Royal and Historical Letters During the Reign of Henry the Fourth, King of England and of France, and Lord of Ireland Volume 1 F. C. (Francis Charles) 1833 Hingeston / Boek Gebonden (harde band)
common.buy 40.19 €
Kindle Paperwhite User Guide Sharon Hurley / Boek Gebonden (paperback)
common.buy 26.52 €
Higher Education United States Government Accountability / Boek Gebonden (paperback)
common.buy 15.38 €
African Personality and Spirituality Anthony Ephirim-Donkor / Boek Gebonden (harde band)
common.buy 126.06 €
Reform without Liberalization Kevin J. O`Brien / Boek Gebonden (harde band)
common.buy 128.49 €
Practical Flow Cytometry 4e Howard M. Shapiro / Boek Gebonden (harde band)
common.buy 218.21 €

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?