01279nam0 22003253i 450 UBO004065020240712063319.0047192980820080213d1992 ||||0itac50 baenggbz01i xxxe z01nSemantics with applicationsa formal introductionHanne Riis NielsonFlemming NielsonChichester [etc.]J. Wiley & Sonsc1992XII, 240 p.24 cmWiley professional computing001MIL00715232001 Wiley professional computingLinguaggi di programmazioneSemanticaFIRUFIC047092I005.13LINGUAGGI DI PROGRAMMAZIONE14005.13LINGUAGGI DI PROGRAMMAZIONE22Nielson, Hanne Riis <1954- >UBOV842698070714739Nielson, Flemming <1955- >UBOV030375070714740ITIT-NA007920080213IT-BN0095 UBO0040650Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.13 NIE.se 0102 0000004025 B A4 1 v.3 1993091519930915 01Semantics with applications1382094UNISANNIO