01710nam0 22003973i 450 VAN025384120230522025105.705N978146125621220230130d1983 |0itac50 baengUS|||| |||||ˆThe ‰Evolution of ProgramsNachum DershowitzBostonBirkhäuser1983v, 359 p.ill.24 cm001VAN00526792001 Progress in computer science and applied logic210 Basel [etc.]Birkhäuser568-XXComputer science [MSC 2020]VANC019670MF68QxxTheory of computing [MSC 2020]VANC019949MF68Q60Specification and verification (program logics, model checking, etc.) [MSC 2020]VANC024550MF68N01General topics in the theory of software [MSC 2020]VANC035632MFAlgorithmsKW:KCalculusKW:KCodeKW:KNotationKW:KPartitionKW:KBostonVANL000051DershowitzNachumVANV2069411354752Birkhäuser <editore>VANV108193650ITSOL20230616RICAhttps://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-CE0120VAN08NVAN0253841BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5147 08eMF5147 20230208 Evolution of Programs3358045UNICAMPANIA