01332nam0 22003013i 450 NAP039549620240726074452.0044489184620080130d1991 ||||0itac50 baengnlz01i xxxe z01nConstructing programs from specificationsproceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 edited by B. MöllerAmsterdam [etc.]North-Holland1991X, 515 p.23 cm.Elaboratori elettroniciProgrammazioneCongressi1991FIRNAPC258163I005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22Moller, BernhardAQ1V002445IFIP TC2-WG 2.1 working conference on constructing programs from specifications <1991 ; Pacific Grove>NAPV105573070770801ITIT-NA007920080130IT-BN0095 NAP0395496Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 005.1 IFIWCO 0102 0000013825 B A4 1 v.3 2008013020080130 01Constructing programs from specifications1572914UNISANNIO