01442nlm0 22004211i 450 9900092494904033219783540740612000924949FED01000924949(Aleph)000924949FED0100092494920100926d2007----km-y0itay50------baengDEdrnn-008mamaaStatic AnalysisRisorsa elettronica14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedingsedited by Hanne Riis Nielson, Gilberto FiléBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434634Documento elettronicoTestoFormato html, pdfFilé,GilbertoNielson,Hanne RiisITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-74061-2EB990009249490403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringStatic Analysis772085UNINA01024cam1 22002771 450 SOBE0002060720120109145340.020111212g00009999|||||ita|0103 baspaESHistoria de la vida y hechos del Emperador Carlos VPrudencio de Sandovalledicion y estudio preliminar de D. Carlos Seco SerranoMadridAtlasv.ill.26 cmBiblioteca de autores españoles(continuacion)001SOBE000188342001 *Biblioteca de autores españoles. (continuacion)001SOBE000206102000 1001SOBE000206112000 2001SOBE000206122000 3Sandoval, Prudencio : deSOBA00002053070564960Seco Serrano, CarlosSOBA00001766070ITUNISOB20120109RICASOBE00020607M 102 Monografia moderna SBNMHistoria de la vida y hechos del Emperador Carlos V1651539UNISOB