Rewriting Techniques and Applications (e-bok)
Format
E-bok
Filformat
PDF med Adobe-kryptering
Om Adobe-kryptering
PDF-böcker lämpar sig inte för läsning på små skärmar, t ex mobiler.
Nedladdning
Kan laddas ned under 24 månader, dock max 3 gånger.
Språk
Engelska
Utgivningsdatum
2004-08-24
Förlag
Springer Berlin Heidelberg
ISBN
9783540259794
Rewriting Techniques and Applications (e-bok)

Rewriting Techniques and Applications E-bok

15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

E-bok (PDF - DRM), Engelska, 2004-08-24
974
Ladda ned och läs i en e-boksläsare. Tips på appar
Finns även som
Visa alla 1 format & utgåvor
Vi har inte fått in någon beskrivning av boken från förlaget. Kolla gärna upp förlagets (Springer Berlin Heidelberg) hemsida, där det kan finnas mer information.

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av Vincent Van Oostrom

  • Logic Colloquium '99

    Jan Van Eijck, Vincent Van Oostrom, Albert Visser

    Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. T...

  • Processes, Terms and Cycles: Steps on the Road to Infinity

    Aart Middeldorp, Vincent Van Oostrom, Femke Van Raamsdonk, Roel De Vrijer

    This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthdayon December 19,2005.Its focus is on the lambda calculus, term rewr- ing and process algebra, the ?elds where Jan Willem has made fundamental contributions. Withou...