Lanean...

Algorithms : the construction, proof, and analysis of programs /

Xehetasun bibliografikoak
Egile nagusia: Berlioux, Pierre
Beste egile batzuk: Berlioux, Pierre.; Bizard, Philippe
Formatua: Printed Book
Hizkuntza:English
Argitaratua: Chichester [West Sussex] ; New York : J. Wiley, c1986.
Gaiak:
LEADER 00756cam a2200181 a 4500
008 850808s1986 enka b 000 0 eng
020 |a 0471908444 (pbk.) : 
080 |a 519.688  |b BER 
100 1 |a Berlioux, Pierre.  |9 845 
245 1 0 |a Algorithms :  |b the construction, proof, and analysis of programs /  |c Pierre Berlioux and Philippe Bizard ; translated by Annwyl Williams. 
260 |a Chichester [West Sussex] ;  |a New York :  |b J. Wiley,  |c c1986. 
300 |a viii, 145 p. :  |b ill. ; 
500 |a Translation of: Algorithmique. 
653 |a Algorithms 
700 1 |a Berlioux, Pierre.; Bizard, Philippe.  |9 846 
942 |c BK  |6 _ 
999 |c 216672  |d 216672 
952 |0 0  |1 0  |4 0  |6 519688_BER  |7 0  |9 280820  |a MAT  |b MAT  |d 2009-10-27  |o 519.688 BER  |p MAT02936  |r 2009-10-27  |t 1  |w 2009-10-27  |y BK