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 Berlin and Heidelberg GmbH & Co. KG
SKU: 01568318
Price: 61.16 EUR
Availability: InStock
Author: Germán Puebla
ISBN: 9783540714095

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Germán Puebla

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01568318

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maart 2007

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on... Volledige beschrijving

Libristo-code: 01568318

148 b

61.16 €

In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Koppelungsgeschäfte und Art. 102 AEUV Alexander Goldberg

Gebonden (paperback)

45.47 €

Estem en contra Xavier Gual

Adobe ePub DRM

8.70 €

La causalidad eucarística de la Iglesia Aboín Martín

Gebonden (paperback)

37.87 €

Victor Horta. L'architecte de l'Art Nouveau DERNIE DAVID /CAREW-COX ALASTAIR

Gebonden (harde band)

48.30 €

Punto Piu Vicino Al Cielo Duilio Chiarle

Gebonden (paperback)

11.23 €

Frakturrisiko bei Frauen mit Osteoporose Jae Hyong Sorgenfrei

Gebonden (paperback)

40.20 €

Kolorowanka Modnisia Gołek Halina

Gebonden (paperback)

2.12 €

43 Recettes de Repas Naturels pour le cancer de la peau qui protégeront et raviveront votre peau: Aidez votre peau ? devenir rapidement saine en nourr Joe Correa Csn

Gebonden (paperback)

15.79 €

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.§The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

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 Germán Puebla

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2007

Aantal pagina's 240

EAN 9783540714095

ISBN 354071409X

Libristo-code 01568318

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 790

Afmetingen 155 x 235 x 17

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

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

The History of the Studebaker Corporation Albert Erskine

Gebonden (paperback)

33.01 €

Dungeon Crawler Carl, Vol. 1 (Graphic Novel) Laurel Pursuit Studios

Gebonden (paperback)

15.79 €

Paracelsus G Lowes 1862-1932 Dickinson

Gebonden (paperback)

19.33 €

ORBIT Emily Alison

Gebonden (harde band)

50.73 €

Juana Honore de Balzac

Gebonden (paperback)

11.74 €

Assessment Literacy Thomas Devere Wolsey

Gebonden (paperback)

37.06 €

Developmental Couple Therapy for Complex Trauma Heather B. (McGill University MacIntosh

Gebonden (paperback)

55.49 €

Climate Change and the Media Benedetta Brevini

Gebonden (harde band)

120.42 €

Midsomer Murders: The Complete Series Fourteen Richard Holthouse

Dvd

20.96 €

HIV/AIDS Community Information Services M. Sandra Wood

Gebonden (harde band)

94.49 €

Barack Obama- pot-smoker, coke snorter, muslim? and now President of the USA: What in the hell happened to America? Scott Browning

Gebonden (paperback)

10.32 €

Dental Service Support Operations (FM 4-02.19) Department Of the Army

Gebonden (paperback)

12.95 €

Sir Peter Coats, Thomas Coats, James Coats, Archibald Coats, James Coats, Jr., Thomas Glen Coats, Peter Coats, Jr., and George Coats, Doing Business U Witter & Kenyon

Gebonden (paperback)

32.60 €

Regimental History of the 6th Royal Battalion 13th Frontier Force Rifles (SCINDE) 1843-1923 D. M. Lindsey

Gebonden (paperback)

35.54 €

Applicable Law to International Commercial Contracts and the Status of Lex Mercatoria - With a Special Emphasis on Choice of Law Rules in the Euro Mert Elcin

Gebonden (paperback)

26.02 €