Term rewriting systems [ Livre] / Marc, Bezem / Jan Willem, Klop / Roel, de Vrijer

Auteur principal: Bezem, MarcCo-auteur: Klop, Jan Willem;de Vrijer, RoelLangue: Anglais ; de l'oeuvre originale, Anglais.Publication : Cambridge : Cambridge University Press, 2003Description : 1 vol. (XXII-884 p.) ; 24 cmISBN: 0521391156.Collection: Cambridge tracts in theoretical computer science, 55Classification: F 4 2 Système de réécritureSujet - Nom commun: Réécriture, Systèmes de (informatique)
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 2 BEZ (Browse shelf) Available F 4 2 Système de réécriture 027464

Powered by Koha