01287nlm0 22003851i 450 9900092389104033219783540331032000923891FED01000923891(Aleph)000923891FED0100092389120100926d2006----km-y0itay50------baengDEdrnn-008mamaaModel Checking SoftwareRisorsa elettronica13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedingsedited by Antti ValmariBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433925Documento elettronicoTestoFormato html, pdfValmari,AnttiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11691617EB990009238910403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringModel Checking Software771961UNINA01373nam0 22003131i 450 UON0052704720250129011958.268978-18-470-1230-22398-867320241202d2021 |0itac50 baengGB|||| |||||Islamic scholarship in Africanew directions and global contextsOusmane Oumar KaneSuffolkJames Currey2023xix, 489 p.ill.23 cm001UON005275572001 Religion in transforming Africa210 SuffolkJames CurreyIslamDottrineApprendimentoAfricaUONC104482FISuffolkUONL003303001.096091767Islam Africa Studio e cultura22KANEOusmane OumarUONV093397340James CurreyUONV282211650ITSOL20250207RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00527047SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI GEN 1118 SI 52328 5 1118 SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI2024559 1J 20241202 Islamic scholarship in Africa4292362UNIOR