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

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic-Based Program Synthesis and Transformation Gopal Gupta
Libristo-code: 09094864
Uitgeverij Springer International Publishing AG, december 2014
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International... Volledige beschrijving
? points 120 b
49.50 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Monsieur Et Madame Frontal, Ou Cranomanie Et Romantisme, Comedie-Critique En 1 Acte Colombat-M / Boek Gebonden (paperback)
common.buy 13.63 €
Plop. Libro bagno Matt Wolf / Boek Gebonden (paperback)
common.buy 5.45 €
La Guida Completa all'alimentazione nella Boxe: Massimizza il tuo Potenziale Correa / Boek Gebonden (paperback)
common.buy 21.91 €
Geheimnisse des Alten und des Neuen Bundes Anna Katharina Emmerick / Boek Gebonden (harde band)
common.buy 16.05 €
Two worlds Jitka Herodesová / Boek Gebonden (paperback)
common.buy 1.91 €
Religie Vroeger En Nu John.G.O. De Koker / Boek Gebonden (paperback)
common.buy 21.12 €
Gauguin, voyage au bout de la peinture Vauday / Boek Gebonden (paperback)
common.buy 26.97 €
O Papel Do Advogado NAS Transacoes Imobiliarias Walter Figueiredo de Almeida / Boek Gebonden (paperback)
common.buy 35.65 €

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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 Gopal Gupta, Ricardo Pe?a
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2014
Aantal pagina's 237
EAN 9783319141244
ISBN 3319141244
Libristo-code 09094864
Uitgeverij Springer International Publishing AG
Gewicht 3869
Afmetingen 155 x 235 x 13

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 > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
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

Handbook of Evidence-Based Practices in Intellectual and Developmental Disabilities Nirbhay N. Singh / Boek Gebonden (harde band)
common.buy 477.97 €
Badger the Mystical Mutt and the Flying Fez Lyn McNicol / Boek Gebonden (paperback)
common.buy 7.06 €
MOLESKINE 2023 18MONTH WEEKLY HORIZONTAL MOLESKINE / Boek Gebonden (harde band)
common.buy 22.82 €
Business Basics Berggren Newton Benny Berggren Newton / Boek Gebonden (paperback)
common.buy 22.22 €
The Prickly Pear And Other Cacti As Food For Stock (1905) David Griffiths / Boek Gebonden (paperback)
common.buy 19.29 €
A Mere Cypher: A Novel (1893) Mary Angela Dickens / Boek Gebonden (paperback)
common.buy 38.18 €
Promotion of learning in India during Muhammadan rule by Muhammadans NARENDRA NATH LAW / Boek Gebonden (paperback)
common.buy 37.47 €
Can I Trust You? Yoram Solomon / Boek Gebonden (paperback)
common.buy 12.11 €
Gavin's 100 Day Diary K P Lee / Boek Gebonden (paperback)
common.buy 9.39 €
40 Prayers for Nurses D Duane Engler / Boek Gebonden (paperback)
common.buy 8.38 €
Criminology, Conflict Resolution and Restorative Justice K. McEvoy / Boek Gebonden (paperback)
common.buy 106.17 €
Around the House Roger Priddy / Boek Gebonden (harde band)
common.buy 8.27 €
Iron Industry Richard Hayman / Boek Gebonden (paperback)
common.buy 11.71 €
Grace by Which I Stand Lin Lockamy / Boek Gebonden (paperback)
common.buy 13.33 €
May I Quote You on That? Stephen Spector / Boek Gebonden (paperback)
common.buy 15.75 €
Twilight at the Equator Jaime Manrique / Boek Gebonden (paperback)
common.buy 18.88 €

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?