01327nam0 22003373i 450 UBO004065020251003044417.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.13Specifici linguaggi di programmazione22Nielson, Hanne Riis <1954- >UBOV842698070714739Nielson, Flemming <1955- >UBOV030375070714740ITIT-00000020080213IT-BN0095 NAP 01SALA DING $UBO0040650Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.13 NIE.se 0102 0000004025 VMA A4 1 v.Y 1993091519930915 01Semantics with applications1382094UNISANNIO