Etiqueta de registo: 00000nam 2200025 450
001 2128548
003 http://id.bnportugal.gov.pt/bib/catbnp/2128548
100 ## $a20230406d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aCLASS$e a logical foundation for typeful programming with shared state$fPedro Manuel Sabino Rocha$gorient. Luís Manuel Marques da Costa Caires
210 #9 $aLisboa$c[s.n.],$d2022
215 ## $aXII, [1], 275 p.$d30 cm
328 #1 $aTese dout. informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2022
675 ## $a004.43CLASS(043)$vBN$zpor$31885793
700 #1 $aRocha,$bPedro Manuel Sabino$31878458
702 #1 $aCaires,$bLuís$4727$3179014
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 63039 V.$x1
971 ## $carosa$d20230406
972 ## $e0$z0$d20230630$vmsebas
973 ## $cmcarvalho$d20230623