01370nam0 22003613i 450 TO0125055920251003044410.0047190844420080505d1986 ||||0itac50 baenggbz01i xxxe z01nAlgorithmsthe construction, proof, and analysis of programsPierre Berlioux and Philippe Bizardtranslated by Annwyl WilliamsChichester [etc.]J. Wileyc1986IX, 145 p.23 cmBibliografia: P. 143-144.AlgorithmiqueNAP04053351575222AlgoritmiFIRCFIC033498EElaboratori elettroniciProgrammazioneFIRCFIC000860E005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22Berlioux, PierrePUVV028649070295469Bizard, PhilippePUVV028651070295470Williams, AnnwylMILV151935ITIT-00000020080505IT-BN0095 NAP 01SALA DING $TO01250559Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 005.1 BER.al 0102 0000008985 VMA A4 1 v. (rist. 1987)Y 2008050520080505 01Algorithmique1575222UNISANNIO