LEADER 01428nam0 2200337 i 450 
001 SUN0102892
005 20151120101600.498
010   $a8-1-4939-0316-0$d0.00
017 70$2N$a978-1-4939-0317-7
100   $a20151013d2014       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Test equating, scaling, and linking$emethods and practices$fMichael J. Kolen, Robert L. Brennan
205   $a3. ed
210   $aNew York$cSpringer$d2014
215   $aXXVI, 566 p.$cill.$d24 cm
410  1$1001SUN0102894$12001 $a*Statistics for social and behavioral sciences$1210  $aBerlin$cSpringer$d1997-.
606   $a62-XX$xStatistics [MSC 2020]$2MF$3SUNC022998
606   $a62P15$xApplications of statistics to psychology [MSC 2020]$2MF$3SUNC031075
606   $a91C05$xMeasurement theory in the social and behavioral sciences [MSC 2020]$2MF$3SUNC031092
620   $aUS$dNew York$3SUNL000011
700  1$aKolen$b, Michael J.$3SUNV080305$0721698
701  1$aBrennan$b, Robert L.$3SUNV080306$066331
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20201026$gRICA
856 4 $uhttp://dx.doi.org/10.1007/978-1-4939-0317-7
912   $aSUN0102892
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK 4612                      $e15EB 4612              20191106            
996   $aTest equating, scaling, and linking$91410720
997   $aUNICAMPANIA

LEADER 01818nam  2200349   450 
001 9910376644803321
005 20230818171440.0
035   $a(CKB)3780000000086021
035   $a(NjHacI)993780000000086021
035   $a(EXLCZ)993780000000086021
100   $a20230818d2015      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProceedings of the Third FME Workshop on Formal Methods in Software Engineering /$fStefania Gnesi, Nico Plat ; Association for Computing Machinery-Digital Library
210  1$aPiscataway, New Jersey :$cIEEE Press,$d2015.
215   $a1 online resource (85 pages)
330   $aWe would like to take this opportunity to welcome you at FormaliSE 2015, the 3th FME (Formal Methods Europe; www.fmeurope.org) Workshop on Formal Methods in Software Engineering. The main goal of the workshop is to foster integration between the formal methods and the software engineering communities with the purpose to examine the link between the two more carefully than is currently the case. This need to achieve dialogue between the fairly small formal methods community and the (much larger) community of software scientists and practitioners forms the principal motivation holding for our workshop, and for our desire to hold it at ICSE.
606   $aFormal methods (Computer science)$vCongresses
615  0$aFormal methods (Computer science)
676   $a004.0151
700   $aGnesi$b Stefania$0875672
702   $aPlat$b Nico
712 02$aACM Digital Library,
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910376644803321
996   $aProceedings of the Third FME Workshop on Formal Methods in Software Engineering$92124447
997   $aUNINA