Загрузка...

Algorithms :The Construction ,Proof And Analysis Of Programs

Библиографические подробности
Главный автор: Pierrie Berlioux, Philippe Bizard
Формат: Printed Book
Язык:English
Опубликовано: John Wiley and Sons 1987
LEADER 00635nam a2200217 a 4500
001 CS96000001
003 imported from koha2.9 by LV-1270
005 20160322165128.0
008 960221s1955 dcuabcdjdbkoqu001 0deng d
040 |c S 
245 |a Algorithms :The Construction ,Proof And Analysis Of Programs 
100 |a Pierrie Berlioux, Philippe Bizard 
500
942 |c BK  |6 _ 
020 |a 0-471-90844-4 
260 |b John Wiley and Sons  |c 1987 
300 |a 145 
082 |a 004.421 
250
999 |c 154581  |d 154581 
952 |0 0  |1 0  |4 0  |6 004421_  |7 0  |9 202418  |a DCS  |b DCS  |d 2013-09-07  |o 004.421  |p MCS01233  |r 2013-09-07  |w 0000-00-00  |y BK