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.99 € DHL koeriersdienst 5.99 € GLS koerier 5.49 € DPD-punt 4.49 €

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: 01560821
Price: 51.27 EUR
Availability: InStock
Author: Sandro Etalle
ISBN: 9783540266556

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

Sandro Etalle

Taal

Engels

Boek Paperback

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

Libristo-code: 01560821

125 b

51.27 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Cuerpazo Para Siempre (Spanish Original): Mi Método Para Transformar Tu Figura En Un Cuerpo de Infarto Claudia Molina

Paperback

15.64 €

Aventures del capita calçotes DAV PILKEY

Gebonden

10.13 €

Die Polen in Oberschlesien Paul Weber

Paperback

13.74 €

Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire SUCQUET-J-

Paperback

13.94 €

Explorando el Alma Eterna - Perspectivas de la Vida Entre Vidas Andy Tomlinson

Paperback

20.66 €

Disney: Raya und der letzte Drache

Gebonden

9.42 €

Świat równoległy wyd. 2 Tomasz Michniewicz

Gebonden

13.64 €

Essai Sur Les Usurpations DE SELLE DE BEAUCHAMP-B

Paperback

15.84 €

Degas Loyrette

Paperback

19.56 €

SINFONIE F MAJOR FALCK 67 ORCHESTRE WILHELM FRIEDEMANN B Drukwerk

Bladmuziek

24.47 €

Mujeres artistas LINDA NOCHIN

Paperback

48.36 €

Thelma et les enfants à table Colombe Schneck

Gebonden

12.33 €

Satisfaç?o do Cliente com o Seguro de Entrega de Serviços-Motor Stephen Kweku Amoah

Paperback

54.78 €

Surpresa Mais Doce Augusta Hill

Adobe ePub DRM

2.00 €

L'ombre L'eau qui s'écoule Lorrain-Vesque

Paperback

18.15 €

Journal d'un Noob - Tome 8 Cube Kid

Paperback

15.74 €

Huevo de Dragón (Dragon Egg Spanish Edition) Hala Wittwer

Gebonden

19.56 €

Aufsichtsrat der AG im Bankgesellschaftsrecht Stephan Fackler

Gebonden

100.94 €

Cesta z lebek Tyrani a králové John Marco

Paperback

10.03 €

Největší současní básníci Petr Kovář

Blad

7.42 €

Ja genau! C. Böschel

Paperback

29.39 €

Innovatives Beschaffungsmanagement Christoph W. Gabath

Gebonden

55.58 €

Dekorative Handarbeiten Ritta Drommer

Paperback

10.83 €

Gottesfreundin Karl Gjellerup

Paperback

16.05 €

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

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 - 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