01367nlm0 22004091i 450 9900092514104033219783540477648000925141FED01000925141(Aleph)000925141FED0100092514120100926d2006----km-y0itay50------baengDEdrnn-008mamaaStatic AnalysisRisorsa elettronica8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedingsedited by Patrick CousotBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97432126Documento elettronicoTestoFormato html, pdfCousot,PatrickITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/3-540-47764-0EB990009251410403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringStatic Analysis772085UNINA01118nam0 22002771i 450 VAN0001689220240806100306.31688-7711-173-920040528d1993 |0itac50 baitaIT|||| |||||Vaccini, sieri, immonoglobulineprontuario per l'usoM. Pontecorvo7. edTorinoMinerva medica1993XIV, 176 p.21 cm.TorinoVANL000001615.37Farmaci immunologici e sieri immuni22PontecorvoMicheleVANV012709327700Minerva medica <editore>VANV108186650ITSOL20240906RICABIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHEIT-CE0101VAN17VAN00016892BIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE17CONS Oc24 17DSV266 20040528 BuonoVaccini, sieri, immonoglobuline815974UNICAMPANIA