LEADER 01713nam0 22003973i 450 001 VAN00253841 005 20240806101437.450 017 70$2N$a9781461256212 100 $a20230130d1983 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aˆThe ‰Evolution of Programs$fNachum Dershowitz 210 $aBoston$cBirkhäuser$d1983 215 $av, 359 p.$cill.$d24 cm 410 1$1001VAN00052679$12001 $aProgress in computer science and applied logic$1210 $aBasel [etc.]$cBirkhäuser$v5 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a68N01$xGeneral topics in the theory of software [MSC 2020]$3VANC035632$2MF 606 $a68Q60$xSpecification and verification (program logics, model checking, etc.) [MSC 2020]$3VANC024550$2MF 606 $a68Qxx$xTheory of computing [MSC 2020]$3VANC019949$2MF 610 $aAlgorithms$9KW:K 610 $aCalculus$9KW:K 610 $aCode$9KW:K 610 $aNotation$9KW:K 610 $aPartition$9KW:K 620 $dBoston$3VANL000051 700 1$aDershowitz$bNachum$3VANV206941$01354752 712 $aBirkhäuser $3VANV108193$4650 801 $aIT$bSOL$c20250321$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4612-5621-2$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00253841 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 5147 $e08eMF5147 20230208 996 $aEvolution of Programs$93358045 997 $aUNICAMPANIA