01742nam0 22004093i 450 NAP039661720251003044249.0041248680620080211d1993 ||||0itac50 baenggbz01i xxxe z01nLogic and specificationextending VDM-SL for advanced formal specificationCornelis A. MiddelburgLondon [etc.]Chapman & Hall computing1993XI, 404 p.24 cmComputer science. Research and practice1Bibliografia: P. [391]-395.001NAP03966242001 Computer science. Research and practice1Elaboratori elettroniciProgrammazioneLinguaggiFIRCFIC011611ILinguaggi di programmazioneSemanticaFIRUFIC047092ILogica simbolicaFIRSBLC002225ILogica matematicaFIRCFIC000378E005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Logica simbolicaLogica matematica <Logica simbolica>Logica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Middelburg, Cornelis A.NAPV105749070770819ITIT-00000020080211IT-BN0095 NAP 01SALA DING $NAP0396617Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.13 MID.lo 0102 0000014445 VMA A4 1 v.Y 2008021120080211 01Logic and specification1572939UNISANNIO