01097nam 2200337 450 991034794420332120230419175919.01-7281-4113-3(CKB)4100000009669500(NjHacI)994100000009669500(EXLCZ)99410000000966950020230419d2019 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2019 Forum for Specification and Design Languages (FDL) /Institute of Electrical and Electronics Engineers[Place of publication not identified] :IEEE,2019.1 online resource1-7281-4114-1 2019 Forum for Specification and Design Languages Computer programsVerificationCongressesComputer programsVerification005.14NjHacINjHaclPROCEEDING99103479442033212019 Forum for Specification and Design Languages (FDL)2540928UNINA01812nam0 2200433 i 450 VAN005698820231127122312.42803-87952-97-720061214d2002 |0itac50 baengUS|||| |||||Real mathematical analysisCharles Chapman PughNew YorkSpringer2002XI, 437 p.ill.24 cm001VAN00240192001 Undergraduate texts in mathematics210 Berlin [etc.]SpringerVAN0235223Real mathematical analysis142439346-XXFunctional analysis [MSC 2020]VANC019764MF26-XXReal functions [MSC 2020]VANC019778MF28-XXMeasure and integration [MSC 2020]VANC019878MFCalculusKW:KIntegralKW:KMathematical analysisKW:KReal Mathematical AnalysisKW:KReal analysisKW:KReal numbersKW:KUSNew YorkVANL000011PughCharles C.VANV045177440755Springer <editore>VANV108073650Pugh, Charles ChapmanPugh, Charles C.VANV061088Pugh, C. C.Pugh, Charles C.VANV061089Pugh, C.C.Pugh, Charles C.VANV061090ITSOL20240614RICA/sebina/repository/catalogazione/documenti/Pugh - Real Mathematical Analysis.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0056988BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 26-XX 3508 08 7579 I 20061214 Real mathematical analysis1424393UNICAMPANIA