Vor Ort
Merkzettel Warenkorb
  • Produktbild: Applications of Process Algebra
  • Produktbild: Applications of Process Algebra

Applications of Process Algebra

141,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.05.2004

Herausgeber

Baeten J. C. M. + weitere

Verlag

Cambridge Academic

Seitenzahl

332

Maße (L/B/H)

24,6/18,9/1,8 cm

Gewicht

590 g

Sprache

Englisch

ISBN

978-0-521-60750-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.05.2004

Herausgeber

Verlag

Cambridge Academic

Seitenzahl

332

Maße (L/B/H)

24,6/18,9/1,8 cm

Gewicht

590 g

Sprache

Englisch

ISBN

978-0-521-60750-6

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Applications of Process Algebra
  • Produktbild: Applications of Process Algebra
  • 1. An introduction to process algebra J. A. Bergstra and J. W. Klop; 2. Two simple protocols F. W. Vaandrager; 3. Proving mutual exclusion with process algebra E. R. Nieuwland; 4. Process algebra as a tool for the specification and verification of CIM-architectures S. Maauw; 5. A process creation mechanism in process algebra J. A. Bergstra; 6. Correctness proofs for systolic algorithms: palindromes and sorting L. Kossen and W. P. Weijland; 7. Verification of an algorithm for log-time sorting by square comparison J. C. Mulder and W. P. Weijland; 8. On the Amoeba protocol J. C. Mulder; 9. Process algebra semantics of Popl F. W. Vaandrager; 10. Some observations of redundancy in a context F. W. Vaandrager; 11. A modular approach to protocol verification using process algebra C. P. J. Koymans and J. C. Mulder.