Action refinement in process algebras

Action refinement in process algebras

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Aceto, Luca (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York Cambridge University Press c1992
Σειρά:Distinguished Dissertations in Computer Science
Θέματα:
COMPUTER SOFTWARE
Άλγεβρα

Παρόμοια τεκμήρια

Παρόμοια τεκμήρια

  • Process algebra
    ανά: Baeten, J.C.M, κ.ά.
    Έκδοση: (1990)
  • Algebra /
    ανά: Lang, Serge, 1927-2005
    Έκδοση: (2002)
  • Algebra /
    ανά: MacLane, Saunders, 1909-
    Έκδοση: (1967)
  • Algebra
    ανά: Lang, Serge, 1927-2005
    Έκδοση: (1965)
  • Algebra
    ανά: Moore, Gerald E.
    Έκδοση: (1959)