01315nam0 22003373i 450 TO0054108420240906063402.0012427620220080214d1991 ||||0itac50 baengusz01i xxxe z01n˜An œintroduction to programming with specificationsa mathematical approachRyszard Kubiak, Roman Rudziński, Stefan Sokolowski LondonAcademic Press1991IX, 267 p.24 cmA.P.I.C. sereis35001TO005545952001 A.P.I.C. sereis35Elaboratori elettroniciProgrammazioneFIRNAPC000341I005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22Kubiak, RyszardTO0V250121070721415Sokolowski, StefanAQ1V002935070721414Rudziński, RomanTO0V256154070721413ITIT-NA007920080214IT-BN0095 TO00541084Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 KUB.in 0102 0000009385 B A4 1 v.3 1994042019940420 01Introduction to programming with specifications1413212UNISANNIO