00966nam0-22003251i-450-99000047046040332120090319103900.03-540-10283-3000047046FED01000047046(Aleph)000047046FED0100004704620020821d1980----km-y0itay50------baenga-------001yyTowards a formal description of Adaedited by D. Bjorner, O. N. OestBerlinSpringer-Verlag1980630 p.ill.24 cmLecture notes in computer science98Linguaggi di programmazioneADA005.133Bjørner,Dines<1937- >434385Oest,O. N.491516ITUNINARICAUNIMARCBK99000047046040332110 P.T. 363162 DISDINELDINELTowards a formal description of Ada331976UNINA00922nam a2200265 i 4500991001292439707536110630s2010 it b 000 0 ita d9788843056804 b13991504-39ule_instBiblioteca InterfacoltàitaGuerra, Luca<1967- >475319Etica della lettura :dalla scrittura cuneiforme all'alfabeto /Luca GuerraRoma :Carocci,2010326 p. ;22 cm.Ricerche ;152ScritturaStoriaLetturaStoriaAlfabetoStoriaSemiotica.b1399150402-04-1430-06-11991001292439707536LE002 418.4 GUE12002000626653le002pE29.00-l- 00000.i1528988630-06-11Etica della lettura247548UNISALENTOle00230-06-11ma -itait 00