01713nam0 22003973i 450 VAN0025384120240806101437.450N978146125621220230130d1983 |0itac50 baengUS|||| |||||ˆThe ‰Evolution of ProgramsNachum DershowitzBostonBirkhäuser1983v, 359 p.ill.24 cm001VAN000526792001 Progress in computer science and applied logic210 Basel [etc.]Birkhäuser568-XXComputer science [MSC 2020]VANC019670MF68N01General topics in the theory of software [MSC 2020]VANC035632MF68Q60Specification and verification (program logics, model checking, etc.) [MSC 2020]VANC024550MF68QxxTheory of computing [MSC 2020]VANC019949MFAlgorithmsKW:KCalculusKW:KCodeKW:KNotationKW:KPartitionKW:KBostonVANL000051DershowitzNachumVANV2069411354752Birkhäuser <editore>VANV108193650ITSOL20250321RICAhttps://doi.org/10.1007/978-1-4612-5621-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00253841BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 5147 08eMF5147 20230208 Evolution of Programs3358045UNICAMPANIA