- Format
- E-bok
- Filformat
-
PDF med Adobe-kryptering
Om Adobe-krypteringPDF-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
Du kanske gillar
-
Rewriting Techniques and Applications E-bok
15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Finns även somVi 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...