01469nam0 22003253i 450 VAN0010517520240806100728.8901-242-7620-220160405d1991 |0itac50 baengGB|||| |||||ˆAn ‰introduction to programming with specificationsa mathematical approachRyszard Kubiak, Roman Rudziński, Stefan SokolowskiLondonAcademic press1991IX, 267 p.24 cm.001VAN001051832001 APIC series210 LondonAcademic press.35Elaboratori elettroniciProgrammazioneVANC032168ECGBLondonVANL000015005.1Programmazione22KubiakRyszardVANV081867721415RudzińskiRomanVANV081869721413SokolowskiStefanVANV081868721414Academic <editore>VANV108018650ITSOL20240906RICAhttps://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-CE0106VAN03VAN00105175BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA03PREST VAb5 03 3090 20160405 Introduction to programming with specifications1413212UNICAMPANIA