Your search returned 2 results. Subscribe to this search

|
1.  Monographies, textes Rewrite systems / N. Dershowitz, J-P. JouannaudPublication : Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique, 1989Description : 143 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6419] (1).
2.  Monographies, textes Verification [] : theory and practice : essays dedicaced to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.)Publication : Berlin, Heidelberg, New York : Springer, cop.2003Description : XV-782 p. : couv. ill. en coul., 1 portr. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[DER] (1).

Powered by Koha