Concurrency verification : introduction to compositional and noncompositional methods /

  1. Home
  2. Szczegóły

Opis

    Concurrency verification : introduction to compositional and noncompositional methods / Willem-Paul de Roever [et al.]. 1st paperback ed.

    New York : Cambridge University Press, 2010. XXII, 776 s. : il. ; 23 cm.
    (Cambridge tracts in theoretical computer science ; 54)
    (Cambridge Tracts in Theoretical Computer Science ISSN 0956-9103 54)
    ISBN 978-0-521-80608-4     ISBN 978-0-521-16932-5


Przetwarzanie równoległe (informatyka).
Weryfikacja oprogramowania.

   
T.18126        UKD: 004.4'233=111