01259nlm0 22003851i 450 9900092509404033219783540453864000925094FED01000925094(Aleph)000925094FED0100092509420100926d2006----km-y0itay50------baengDEdrnn-008mamaaVariations on ConstantsRisorsa elettronicaFlow Analysis of Sequential and Parallel Programsby Markus Müller-OlmBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433800Documento elettronicoTestoFormato html, pdfMüller-Olm,Markus508822ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11871743EB990009250940403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringVariations on Constants772122UNINA