01467nam0 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