00926nam0-2200337---450-99000825252040332120060110132846.088-204-2046-5IT83-2003000825252FED01000825252(Aleph)000825252FED0100082525220060110d1981----km-y0itay50------baitaITa-------001yyIntroduzione alle reti logicheArrigo Frisiani, Luigi GilliMilanoFrancoAngelic1981381 p.ill.22 cmCollana di informatica7001.618itaFrisiani,Arrigo Luigi499416Gilli,Luigi499417ITUNINARICAUNIMARCBK990008252520403321S 6s.i.DSSDSSIntroduzione alle reti logiche743108UNINA01467nam0 22003253i 450 VAN010517520160408103200.71801-242-7620-220160405d1991 |0itac50 baengGB|||| |||||ˆAn ‰introduction to programming with specificationsa mathematical approachRyszard Kubiak, Roman Rudziński, Stefan SokolowskiLondonAcademic press1991IX, 267 p.24 cm.001VAN01051832001 APIC series210 LondonAcademic press.35Elaboratori elettroniciProgrammazioneVANC032168ECGBLondonVANL000015005.1Programmazione22KubiakRyszardVANV081867721415RudzińskiRomanVANV081869721413SokolowskiStefanVANV081868721414Academic <editore>VANV108018650ITSOL20230623RICAhttps://books.google.it/books?id=5Qj-UuC4uioC&printsec=frontcover&hl=ithttps://books.google.it/books?id=5Qj-UuC4uioC&printsec=frontcover&hl=itBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIAIT-CE0106VAN03VAN0105175BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA03PREST VAb5 03 3090 20160405 Introduction to programming with specifications1413212UNICAMPANIA