Rewriting Techniques and Applications 1
bokomslag Rewriting Techniques and Applications
Data & IT

Rewriting Techniques and Applications

Jean-Pierre Jouannaud

Pocket

809:-

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

  • 444 sidor
  • 1985
First International Conference on Rewriting Techniques and Applications
  • Författare: Jean-Pierre Jouannaud
  • Format: Pocket/Paperback
  • ISBN: 9783540159766
  • Språk: Engelska
  • Antal sidor: 444
  • Utgivningsdatum: 1985-10-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Certified Programs and Proofs

    Certified Programs and Proofs

    Zhong Shao Jean-Pierre Jouannaud

    Pocket

    1159:-
  2. bokomslag Constraints in Computational Logics

    Constraints in Computational Logics

    Jean-Pierre Jouannaud

    Pocket

    1009:-
  3. bokomslag Functional Programming Languages and Computer Architecture

    Functional Programming Languages and ...

    Jean-Pierre Jouannaud

    Pocket

    1009:-
  4. bokomslag Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    Vincent Van Oostrom

    Pocket

    1009:-
  5. bokomslag Au revoir Agneta

    Au revoir Agneta

    Emma Hamberg

    Pocket

    69:- (119:-)
  6. bokomslag De fenomenala fruntimren på Grand Hôtel

    De fenomenala fruntimren på Grand Hôtel

    Ruth Kvarnström Jones

    Pocket

    69:- (119:-)
  7. bokomslag Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    Sophie Tison

    Pocket

    1039:-
  8. Ny
    bokomslag Långfredagen

    Långfredagen

    Sofie Sarenbrant • Carina Bergfeldt

    Inbunden

    259:- (299:-)
  9. Ny
    bokomslag Ett fall på Capri

    Ett fall på Capri

    Anders De la Motte • Anette De la Motte

    Inbunden

    259:- (289:-)
  10. bokomslag Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    Hubert Comon

    Pocket

    1009:-

Andra av samma författare

  1. bokomslag Functional Programming Languages and Computer Architecture

    Functional Programming Languages and ...

    Jean-Pierre Jouannaud

    Pocket

    1009:-
  2. bokomslag Conditional Term Rewriting Systems

    Conditional Term Rewriting Systems

    Jean-Pierre Jouannaud Stephane Kaplan

    Pocket

    1009:-
  3. bokomslag Algebra, Meaning, and Computation

    Algebra, Meaning, and Computation

    Kokichi Futatsugi, Jean-Pierre Jouannaud, Jos Meseguer

    Pocket

    1999:-
  4. bokomslag TAPSOFT '93: Theory and Practice of Software Development

    TAPSOFT '93: Theory and Practice of S...

    Jean-Pierre Jouannaud Marie-Claude Ga...

    Pocket

    1999:-
  5. bokomslag Constraints in Computational Logics

    Constraints in Computational Logics

    Jean-Pierre Jouannaud

    Pocket

    1009:-
  6. bokomslag Term Rewriting

    Term Rewriting

    Jean-Pierre Jouannaud Hubert Comon

    Pocket

    1009:-
  7. bokomslag Certified Programs and Proofs

    Certified Programs and Proofs

    Zhong Shao Jean-Pierre Jouannaud

    Pocket

    1159:-