01435nam0 22003253i 450 SUN010517520160408103200.71801-242-7620-20.0020160405d1991 |0engc50 baengGB|||| |||||An *introduction to programming with specificationsa mathematical approachRyszard Kubiak, Roman Rudziński, Stefan SokolowskiLondonAcademic press1991IX, 267 p.24 cm.001SUN01051832001 *APIC series35210 LondonAcademic press.Elaboratori elettroniciProgrammazioneECSUNC032168GBLondonSUNL000015005.1Programmazione22Kubiak, RyszardSUNV081867721415Sokolowski, StefanSUNV081868721414Rudziński, RomanSUNV081869721413AcademicSUNV000123650ITSOL20181109RICAhttps://books.google.it/books?id=5Qj-UuC4uioC&printsec=frontcover&hl=itSUN0105175UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA03 PREST VAb5 03 3090 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIAIT-CE01063090PREST VAb5paIntroduction to programming with specifications1413212UNICAMPANIA