Hermès III. La traduction / Michel Serres

• Record Nr.: UNINA990004735520403321
• Autore: Serres, Michel
• Pubbl/distr/stampa: Paris : De Minuit, c1974
• ISBN: 2-7073-0006-3
• Descrizione fisica: 269 p. ; 22 cm
• Locazione: FLFBC
• Collocazione: SA 418
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks

• Record Nr.: UNISANNIORMS2194220
• Autore: Olderog, Ernst-Rudiger
• Pubbl/distr/stampa: Cambridge [etc.], : Cambridge University, c2008
• ISBN: 9780521883337
• Descrizione fisica: XVI, 320 p. : ill. ; 26 cm
• Altri autori (Persone): Dierks, Henning
• Disciplina: 004; 004.33
• Soggetti: Elaborazione dei dati
• Collocazione: SALA DING 004 OLD.re
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia