01542nlm0 22004331i 450 9900092524004033219783540752219000925240FED01000925240(Aleph)000925240FED0100092524020100926d2007----km-y0itay50------baengDEdrnn-008mamaaFormal Methods and Hybrid Real-Time SystemsRisorsa elettronicaEssays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdaysedited by Cliff B. Jones, Zhiming Liu, Jim WoodcockBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434700Documento elettronicoTestoFormato html, pdfJones,Cliff B.Liu,ZhimingWoodcock,JimITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-75221-9EB990009252400403321Computer network architecturesComputer scienceComputer ScienceComputer Systems Organization and Communication NetworksLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringFormal Methods and Hybrid Real-Time Systems774296UNINA00912nam0-22003011i-450-99000467081040332119990530000467081FED01000467081(Aleph)000467081FED0100046708119990530g19779999km-y0itay50------baitay-------001yy<<Die >>homerischen GleichnisseHermann Fraenkelmit einem Nachwort und einem Literaturverzeichnis hrsg. von Ernst Heitsch2.a ed.GoettingenVandenhoeck & Ruprecht1977.VII, 124 p.24 cmFränkel,Hermann387583Heitsch,ErnstHomerus<8. sec. a. C.>ITUNINARICAUNIMARCBK990004670810403321FCL 1379Ist.Fil.Cl.1763FLFBCFLFBCHomerischen Gleichnisse555155UNINA