Logic Based Program Synthesis and Transformation 1
bokomslag Logic Based Program Synthesis and Transformation
Data & IT

Logic Based Program Synthesis and Transformation

Kung-Kiu Lau

Pocket

1039:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 188 sidor
  • 2001
The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.
  • Författare: Kung-Kiu Lau
  • Format: Pocket/Paperback
  • ISBN: 9783540421276
  • Språk: Engelska
  • Antal sidor: 188
  • Utgivningsdatum: 2001-05-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel

    Pocket

    849:-
  2. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Richard Banach Kung-Kiu Lau

    Pocket

    1009:-
  3. bokomslag Logic Program Synthesis and Transformation

    Logic Program Synthesis and Transform...

    Timothy P Clement Kung-Kiu Lau

    Pocket

    1009:-
  4. bokomslag Introduction To Component-based Software Development, An

    Introduction To Component-based Softw...

    Simone Di Cola Kung-Kiu Lau

    Inbunden

    1579:-
  5. bokomslag Component-based Software Development: Case Studies

    Component-based Software Development:...

    Kung-Kiu Lau

    Inbunden

    2369:-
  6. bokomslag Pojken, mullvaden, räven och hästen

    Pojken, mullvaden, räven och hästen

    Charlie Mackesy

    Inbunden

    199:- (299:-)
  7. bokomslag De fenomenala fruntimren på Grand Hôtel

    De fenomenala fruntimren på Grand Hôtel

    Ruth Kvarnström Jones

    Pocket

    69:- (119:-)
  8. Ny
    bokomslag Långfredagen

    Långfredagen

    Sofie Sarenbrant • Carina Bergfeldt

    Inbunden

    259:- (299:-)
  9. bokomslag Logic Based Program Synthesis and Transformation

    Logic Based Program Synthesis and Tra...

    Patricia M Hill

    Pocket

    1009:-
  10. Ny
    bokomslag Ett fall på Capri

    Ett fall på Capri

    Anders De la Motte • Anette De la Motte

    Inbunden

    259:- (289:-)

Andra av samma författare

  1. bokomslag Logic Program Synthesis and Transformation

    Logic Program Synthesis and Transform...

    Kung-Kiu Lau Timothy P Clement

    Pocket

    1159:-
  2. bokomslag Logic Program Synthesis and Transformation

    Logic Program Synthesis and Transform...

    Timothy P Clement Kung-Kiu Lau

    Pocket

    1009:-
  3. bokomslag Program Development in Computational Logic

    Program Development in Computational ...

    Kung-Kiu Lau Maurice Bruynooghe

    Pocket

    1009:-
  4. bokomslag Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Richard Banach Kung-Kiu Lau

    Pocket

    1009:-
  5. bokomslag Computational Logic CL 2000

    Computational Logic CL 2000

    John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau

    Pocket

    759:-
  6. bokomslag Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel

    Pocket

    849:-
  7. bokomslag Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    Massimo Villari, Wolf Zimmermann, Kung-Kiu Lau

    Pocket

    1009:-
  8. bokomslag Component-based Software Development: Case Studies

    Component-based Software Development:...

    Kung-Kiu Lau

    Inbunden

    2369:-
  9. bokomslag Introduction To Component-based Software Development, An

    Introduction To Component-based Softw...

    Simone Di Cola Kung-Kiu Lau

    Inbunden

    1579:-