02146nlm0 22005771i 450 9900092602304033219783642017025000926023FED01000926023(Aleph)000926023FED0100092602320100926d2009----km-y0itay50------baengDEdrnn-008mamaaHardware and Software: Verification and TestingRisorsa elettronica4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedingsedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Hana Chockler, Alan J. HuBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435394Documento elettronicoTestoFormato html, pdfChockler,HanaHu,Alan J.Hutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-01702-5EB990009260230403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringHardware and Software, Verification and Testing772242UNINA00899cam0-2200277 --450 991049940940332120211012131015.0978-88-917-1165-620211012d2015----km y0itay50 baitaITy 001yyDall'intercultura alla giustizia socialeper un progetto pedagogico e politico di cittadinanza globaleMassimiliano TarozziMilanoAngeli2015230 p.23 cm<<La >>melagrana. Idee e metodi per l'intercultura16Educazione interculturale370.11723itaTarozzi,Massimiliano254170ITUNINAREICATUNIMARCBK9910499409403321Collez. 2660 (16)3569/2020FSPBCFSPBCDall'intercultura alla giustizia sociale1877817UNINA