Your search returned 2 results. Subscribe to this search

|
1. Congrès QUANTIFICATION IN ALGOL-LIKE LANGUAGES. / {R. Tennent}Publication :EDINBURGH : LFCS, 1986Description : 01 VOL.,7 P. : 6 RF ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5109] (1).
2. Congrès Static analysis [Texte imprimé] : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / Radhia Cousot (ed.)Publication :Berlin, New York : Springer, cop. 2003Description : XIV-503 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 03] (1).

Powered by Koha

//]]>