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-11 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 Meta-Programming in Logic

    Meta-Programming in Logic

    Alberto Pettorossi

    Pocket

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

    Techniques for Searching, Parsing, an...

    Alberto Pettorossi

    Pocket

    979:-
  3. bokomslag Web Information Systems Engineering

    Web Information Systems Engineering

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

    Pocket

    749:-
  4. bokomslag Mobile Web Information Systems

    Mobile Web Information Systems

    Florian Daniel, George A Papadopoulos, Philippe Thiran

    Pocket

    749:-
  5. bokomslag Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based ...

    Einar Broch Johnsen Marcello M Bonsangue

    Pocket

    749:-
  6. bokomslag Service-Oriented Computing - ICSOC 2011 Workshops

    Service-Oriented Computing - ICSOC 2...

    George Pallis, Sonia Ben Mokhtar, Mohamed Jmaiel, Anis Charfi, Sven Graupner

    Pocket

    749:-
  7. bokomslag Techniques for Searching, Parsing, and Matching

    Techniques for Searching, Parsing, an...

    Alberto Pettorossi

    Inbunden

    1299:-
  8. bokomslag Automata Theory and Formal Languages

    Automata Theory and Formal Languages

    Alberto Pettorossi

    Pocket

    799:-
  9. bokomslag Web Engineering

    Web Engineering

    Sren Auer, Oscar Diaz, George A Papadopoulos

    Pocket

    749:-
  10. bokomslag Web Information Systems Engineering - WISE 2012

    Web Information Systems Engineering -...

    X Sean Wang, Isabel Cruz, Alex Delis, Guangyan Huang

    Pocket

    749:-

Andra av samma författare

  1. bokomslag Automatic Program Development

    Automatic Program Development

    Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

    Inbunden

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

    Techniques for Searching, Parsing, an...

    Alberto Pettorossi

    Inbunden

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

    799:-
  5. bokomslag Meta-Programming in Logic

    Meta-Programming in Logic

    Alberto Pettorossi

    Pocket

    749:-
  6. bokomslag Automatic Program Development

    Automatic Program Development

    Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

    Pocket

    1489:-