0 Mėgstami
0Krepšelis

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings

84,68 
84,68 
2025-07-31 84.6800 InStock
Nemokamas pristatymas į paštomatus per 13-17 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

RichardKennaway(Norwich) PublicityChair Jos¿ eMeseguer(MenloPark) RTAOrganizingCommittee HubertComon(Cachan) TobiasNipkow(Munich) NachumDershowitz,chair(Urbana) MichaelRusinowitch(Nancy) Jos¿ eMeseguer(MenloPark) YoshihitoToyama(Tatsunokuchi) External Referees VII ExternalReferees Y. Akama T. Aoto T. Arts F. Blanqui R. Bloo A. Boudet J. Chrzaszcz E. Contejean D. Dougherty K. Erk M. Fernandez W. Fokkink G. Godoy B. Gramlich T. Ida F. Jacquemard S. Kahrs Y. Kaji D. Kesner K. Kusakari F. Lang C. Luth ¿ M. Leucker J. Levy R. Matthes R. Mayr B. Monate J. J. MorenoNavarro M. Nagayama P. Narendran J. Niehren R. Nieuwenhuis K. Ogata E. Ohlebusch S. Okui C. -H. L.

Informacija

Serija: Lecture Notes in Computer Science
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 2000
Knygos puslapių skaičius: 292
ISBN-10: 354067778X
ISBN-13: 9783540677789
Formatas: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Maths for computer scientists

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings“

Būtina įvertinti prekę

Goodreads reviews for „Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings“