00949nam0 2200253 450 00002730220100413164144.0978-1-878220-91-220100413d2009----km-y0itay50------baengUSEloquent sciencea practical guide to becoming a better writer, speaker, and atmospheric scientistDavid M. SchultzBoston, Mass.American Meteorological Societyc2009XXVIII, 412 p.ill.23 cm.2001Eloquent science42747ScienzeTestiCompilazioneDivulgazione808.066521Retorica di testi di letteratura professionale, tecnica, divulgativa. Scienze naturali e matematicaSchultz,David M.254136ITUNIPARTHENOPE20100413RICAUNIMARC000027302DISAM 808-E/13289DISAM2010Eloquent science42747UNIPARTHENOPE01091nam a2200313 i 450099100147760970753620020507194201.0951017s1982 de ||| | eng 3540112057b10852888-39ule_instLE01312851ExLDip.to Matematicaeng001.642AMS 68M15Hailpern, Brent T.537323Verifying concurrent processes using temporal logic /Brent T. HailpernBerlin :Springer-Verlag,1982viii, 208 p. :ill. ;25 cm.Bibliography: p. [203]-208.Includes indexComputer programsParallel processingReliability.b1085288821-09-0628-06-02991001477609707536LE013 68M HAI11 (1982)12013000037646le013-E0.00-l- 00000.i1096447228-06-02Verifying concurrent processes using temporal logic918324UNISALENTOle01301-01-95ma -engde 01