01670nam0 22004213i 450 VAN0028961120250320122517.218N978144713273820250320d1992 |0itac50 baengGB|||| |||||i e bcrOn the Refinement CalculusEdited by Carroll Morgan, Trevor VickersLondon [etc.]Springer-Verlag1992159 p.24 cm001VAN002896122001 Formal Approaches to Computing and Information Technology210 Berlin [etc.]Springer1992-2001.65-XXNumerical analysis [MSC 2020]VANC019772MF68-XXComputer science [MSC 2020]VANC019670MFAlgorithmsKW:KCalculusKW:KDistributionKW:KProgrammingKW:KProgramming languagesKW:KGBLondonVANL000015MorganCarrollVANV244611340VickersTrevorVANV244612Springer <editore>VANV108073650ITSOL20260130RICAhttps://doi.org/10.1007/978-1-4471-3273-8E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00289611BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 11142 08eMF11142 20250519 On the Refinement Calculus4326913UNICAMPANIA