Davies, Jim.

    Specification and proof in real-time CSP / Jim Davies. 1st paperback ed.

    New York : Cambridge University Press, 2011. XVII, 180 s. : il. ; 25 cm.
    (Distinguished Dissertations in Computer Science)
    (Distinguished Dissertations in Computer Science)
   
Druk cyfrowy.

    ISBN 978-0-521-45055-3     ISBN 978-1-107-40386-4

   
T.16757        UKD: 004.62:004.4:004.732:007.3:004.057.4]=111