Principles of Concurrent and Distributed Programming

M. Ben-Ari

ISBN 10: 032131283X / ISBN 13: 9780321312839

Verlag: Pearson Education (US), 2005

Beschreibung

2005. 2nd Edition. Paperback. From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness. Num Pages: 384 pages, illustrations. BIC Classification: UMB; UY. Category: (U) Tertiary Education (US: College). Dimension: 173 x 234 x 20. Weight in Grams: 632. . . . . . Bestandsnummer des Verkäufers V9780321312839

Bibliografische Details

Titel: Principles of Concurrent and Distributed ...

Verlag: Pearson Education (US)

Erscheinungsdatum: 2005

Einband: Softcover

Zustand: New

Auflage: 2. Auflage

Über diesen Titel

Inhaltsangabe:

The latest edition of a classic text on concurrency and distributed programming – from a winner of the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education.

Über die Autorin bzw. den Autor:

Mordechai (Moti) Ben-Ari is an Associate Professor in the Department of Science Teaching at the Weizmann Institute of Science in Rehovot, Israel.  He is the author of texts on Ada, concurrent programming, programming languages, and mathematical logic, as well as Just a Theory: Exploring the Nature of Science.  In 2004 he was honored with the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education.