01125nam0 22003133i 450 NAP039847220251003044249.0047192489X20080227d1990 ||||0itac50 baenggbz01i xxxe z01nZan introduction to formal methodsAntoni DillerChichester [etc.]Wileyc1990XXI, 309 p.25 cmBibliografia: P. 289-299.Elaboratori elettroniciProgrammazioneLinguaggio ZFIRNAPC224936I005.13LINGUAGGI DI PROGRAMMAZIONE14005.133SPECIFICI LINGUAGGI DI PROGRAMMAZIONE22Diller, AntoniMILV177055070506904ITIT-00000020080227IT-BN0095 NAP 01SALA DING $NAP0398472Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 005.13 DIL.z 0102 0000004405 VMA A4 1 v. (rist., 1992)Y 1993100419931004 01Z1572958UNISANNIO