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

Logic Based Program Synthesis and Transformation

Alberto Pettorossi

Pocket

779:-

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

Uppskattad leveranstid 7-12 arbetsdagar

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

  • 272 sidor
  • 2002
These are the refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001; covering program transformation and equivalence, program verification, program analysis, program development, and program synthesis.
  • Författare: Alberto Pettorossi
  • Format: Pocket/Paperback
  • ISBN: 9783540439158
  • Språk: Engelska
  • Antal sidor: 272
  • Utgivningsdatum: 2002-07-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Web Information Systems Engineering

    Web Information Systems Engineering

    Armin Haller, Guangyan Huang, Zhisheng Huang, Hye-Young Paik, Quan Z Sheng

    Pocket

    759:-
  2. bokomslag Meta-Programming in Logic

    Meta-Programming in Logic

    Alberto Pettorossi

    Pocket

    759:-
  3. bokomslag Mobile Web Information Systems

    Mobile Web Information Systems

    Florian Daniel, George A Papadopoulos, Philippe Thiran

    Pocket

    759:-
  4. bokomslag Techniques for Searching, Parsing, and Matching

    Techniques for Searching, Parsing, an...

    Alberto Pettorossi

    Pocket

    979:-
  5. bokomslag Techniques for Searching, Parsing, and Matching

    Techniques for Searching, Parsing, an...

    Alberto Pettorossi

    Inbunden

    1309:-
  6. bokomslag Logic Based Program Synthesis and Transformation

    Logic Based Program Synthesis and Tra...

    Kung-Kiu Lau

    Pocket

    779:-
  7. bokomslag Logic Based Program Synthesis and Transformation

    Logic Based Program Synthesis and Tra...

    Patricia M Hill

    Pocket

    759:-
  8. bokomslag Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based ...

    Einar Broch Johnsen Marcello M Bonsangue

    Pocket

    759:-
  9. bokomslag Automata Theory and Formal Languages

    Automata Theory and Formal Languages

    Alberto Pettorossi

    Pocket

    809:-
  10. bokomslag Logic Based Program Synthesis And Transformation

    Logic Based Program Synthesis And Tra...

    Bruynooghe Maurice Bruynooghe

    Pocket

    899:-

Andra av samma författare

  1. bokomslag Automatic Program Development

    Automatic Program Development

    Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

    Inbunden

    1499:-
  2. bokomslag Techniques for Searching, Parsing, and Matching

    Techniques for Searching, Parsing, an...

    Alberto Pettorossi

    Inbunden

    1309:-
  3. bokomslag Techniques for Searching, Parsing, and Matching

    Techniques for Searching, Parsing, an...

    Alberto Pettorossi

    Pocket

    979:-
  4. bokomslag Automata Theory and Formal Languages

    Automata Theory and Formal Languages

    Alberto Pettorossi

    Pocket

    809:-
  5. bokomslag Meta-Programming in Logic

    Meta-Programming in Logic

    Alberto Pettorossi

    Pocket

    759:-
  6. bokomslag Automatic Program Development

    Automatic Program Development

    Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

    Pocket

    1499:-