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. . . . . . Books ship from the US and Ireland.

Bestandsnummer des Verk�ufers V9780321312839

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Principles of Concurrent and Distributed Programming
Verlag: Pearson Education (US)
Ver�ffentlichungsdatum: 2005
Sprache: Englisch
ISBN-10: 032131283X
ISBN-13: 9780321312839
Bindung: Softcover
Ausgabe: 2. Auflage
Zustand: New

�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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We carry a comprehensive range of out of print and rare books.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Kennys Bookshops and Art Galleries Limited
Liosban Industrial Estate, Tuam Road, Galway, GY, Ireland

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We guarantee the condition of every book as it's described on the Abebooks websites.

If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date.

For any queries please use the contact seller link or send an email to books@kennys.ie

Conor Kenny