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

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic Based Program Synthesis and Transformation Sandro Etalle
Libristo-code: 01560821
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Volledige beschrijving
? points 125 b
51.63 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Cuerpazo Para Siempre (Spanish Original): Mi Método Para Transformar Tu Figura En Un Cuerpo de Infarto Claudia Molina / Boek Gebonden (paperback)
common.buy 15.75 €
Mujeres artistas LINDA NOCHIN / Boek Gebonden (paperback)
common.buy 51.43 €
Aufsichtsrat der AG im Bankgesellschaftsrecht Stephan Fackler / Boek Gebonden (harde band)
common.buy 92.25 €
Ja, pesnička 2 collegium / Boek Gebonden (harde band)
common.buy 5.55 €
Huevo de Dragón (Dragon Egg Spanish Edition) Hala Wittwer / Boek Gebonden (harde band)
common.buy 19.19 €
Journal d'un Noob - Tome 8 Cube Kid / Boek Gebonden (paperback)
common.buy 17.07 €
Opowieść wigilijna Dickens Karol / Boek Gebonden (harde band)
common.buy 5.95 €
L'ombre L'eau qui s'écoule Lorrain-Vesque / Boek Gebonden (paperback)
common.buy 19.49 €
Surpresa Mais Doce Augusta Hill / E-book Adobe ePub DRM
common.buy 0.90 €
Thelma et les enfants à table Colombe Schneck / Boek Gebonden (harde band)
common.buy 13.53 €
SINFONIE F MAJOR FALCK 67 ORCHESTRE WILHELM FRIEDEMANN B Drukwerk Bladmuziek
common.buy 25.86 €
Degas Loyrette / Boek Gebonden (paperback)
common.buy 20.81 €
Świat równoległy wyd. 2 Tomasz Michniewicz / Boek Gebonden (harde band)
common.buy 14.34 €
Die Polen in Oberschlesien Paul Weber / Boek Gebonden (paperback)
common.buy 14.04 €
La Troisi?me République française et ce qu'elle vaut Joseph Arthur De Gobineau / Boek Gebonden (paperback)
common.buy 10.50 €
Aventures del capita calçotes DAV PILKEY / Boek Gebonden (harde band)
common.buy 10.20 €
Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire SUCQUET-J- / Boek Gebonden (paperback)
common.buy 13.63 €
Guide Et Formulaire de Therapeutique Generale Et Speciale HERZEN-V / Boek Gebonden (paperback)
common.buy 33.14 €
Cesta z lebek Tyrani a králové John Marco / Boek Gebonden (paperback)
common.buy 10.70 €
Největší současní básníci Petr Kovář / Boek Blad
common.buy 7.47 €
Ja genau! C. Böschel / Boek Gebonden (paperback)
common.buy 24.04 €
Klick! Sozialkunde/Politik - Fachhefte für alle Bundesländer - Ausgabe 2008 - Band 3. Bd.3 Christine Fink / Boek Blad
common.buy 15.15 €
Vermarktung von Unterhaltung bei Germanys next Topmodel Anina Müller / Boek Gebonden (paperback)
common.buy 16.16 €
Formierung der Ministerialitat und ihre Funktionen in der salischen und staufischen Herrschaft Johannes Grundberger / Boek Gebonden (paperback)
common.buy 16.16 €

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

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 Sandro Etalle
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2005
Aantal pagina's 284
EAN 9783540266556
ISBN 3540266550
Libristo-code 01560821
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 450
Afmetingen 155 x 235 x 16

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
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

Model-Based Reasoning in Science and Technology Lorenzo Magnani / Boek Gebonden (harde band)
common.buy 205.53 €
Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon / Boek Gebonden (paperback)
common.buy 66.48 €
Graph Based Representations in Pattern Recognition Edwin Hancock / Boek Gebonden (paperback)
common.buy 51.63 €
Lonely Planet Pocket Ibiza Planet Lonely / Boek Gebonden (paperback)
common.buy 19.59 €
Nuclear Weapons Counterproliferation Jack Garvey / Boek Gebonden (harde band)
common.buy 134.90 €
How to Live an Abundant Life Ph D D-Cpc Pastor (Dr ) Ayo Laleye / Boek Gebonden (harde band)
common.buy 27.48 €
Salt & Light: Being The Hands & Feet of Christ (in a cruel and dangerous world) Matt Poole / Boek Gebonden (paperback)
common.buy 8.58 €
Human Brain During the Late First Trimester Shirley A. Bayer / Boek Gebonden (paperback)
common.buy 99.73 €
The Mad Pranks And Merry Jests Of Robin Goodfellow (1841) John Payne Collier / Boek Gebonden (paperback)
common.buy 17.37 €
Season of Birth and Schizophrenia Fatima Kamran / Boek Gebonden (paperback)
common.buy 52.54 €
Spoken Language Translator Manny RaynerDavid CarterPierrette BouillonVassilis Digalakis / Boek Gebonden (paperback)
common.buy 62.95 €
English Auxiliaries Anthony R. Warner / Boek Gebonden (paperback)
common.buy 48.39 €
Peasant Uprisings in Seventeenth-Century France, Russia and China Roland Mousnier / Boek Gebonden (harde band)
common.buy 224.33 €
Enterococcus faecalis Henry L Mack / Boek Gebonden (harde band)
common.buy 322.55 €
Pauline Canon Stanley E. Porter / Boek Gebonden (harde band)
common.buy 51.63 €
Taak of the Toon Sid Waddell / Boek Gebonden (paperback)
common.buy 10.80 €
E-Myth Contractor Michael E. Gerber / Boek Gebonden (paperback)
common.buy 14.24 €
Maltese Falcon Dashiell Hammett / Boek Gebonden (paperback)
common.buy 10.40 €
Text Book of Boxing Jim Driscoll / Boek Gebonden (paperback)
common.buy 17.17 €
Secret Kingdom: Magic Mountain Rosie Banks / Boek Gebonden (paperback)
common.buy 8.18 €
Time as a Metaphor of History: Early India Romila Thapar / Boek Gebonden (paperback)
common.buy 13.53 €
International Directory of Company Histories Tina Gant / Boek Gebonden (harde band)
common.buy 547.49 €
Global Technological Change Zhouying Jin / Boek Gebonden (paperback)
common.buy 37.28 €
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence Brian J. Heard / Boek Gebonden (harde band)
common.buy 152.98 €

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