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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
Final Cover Copy – Ben-Ari
Principles of Concurrent and
Distributed Programming
2nd Edition
M. Ben-Ari
The latest edition of a classic text from a winner of the ACM/SIGCSE
Award for Outstanding Contribution to Computer Science Education.
Software today is inherently concurrent or distributed – from event-based GUI designs to operating and real-time systems to Internet applications. The new edition of this classic introduction to concurrency has been completely revised in view of the growing importance of concurrency
constructs embedded in programming languages and of formal methods
such as model checking that are widely used in industry.
The 2nd edition:
Ø Focuses on algorithmic principles rather than language syntax;
Ø Emphasizes the use of the Spin model checker for modeling concurrent systems and verifying program correctness;
Ø Explains the implementation of concurrency in the Java and Ada languages.
Ø Facilitates lab work with software tools for learning concurrent and distributed programming.
Check out the companion website for the book at www.pearson.co.uk/ben-ari to find additional resources for both students and instructors, including source code in various languages for the programs in the book, answers to the exercises, and slides for all diagrams, algorithms and programs.
About the Author
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 34,62 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiEUR 8,07 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiDa: PsychoBabel & Skoob Books, Didcot, Regno Unito
Paperback. Condizione: Very Good. Paperback in very good condition. Light shelf wear to the covers and page block is slightly blemished. Pages are clear and binding is sound. LW. Used. Codice articolo 543928
Quantità: 1 disponibili
Da: Speedyhen, London, Regno Unito
Condizione: NEW. Codice articolo NW9780321312839
Quantità: 2 disponibili
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo GB-9780321312839
Quantità: 2 disponibili
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days. 678. Codice articolo B9780321312839
Quantità: 1 disponibili
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Condizione: New. Codice articolo 3222105-n
Quantità: 3 disponibili
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In. Codice articolo ria9780321312839_new
Quantità: 2 disponibili
Da: moluna, Greven, Germania
Kartoniert / Broschiert. Condizione: New. 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 t. Codice articolo 5905674
Quantità: 2 disponibili
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condizione: New. 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. . . . . . Codice articolo V9780321312839
Quantità: 2 disponibili
Da: Zoom Books East, Glendale Heights, IL, U.S.A.
Condizione: good. Book is in good condition and may include underlining highlighting and minimal wear. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Codice articolo ZEV.032131283X.G
Quantità: 1 disponibili
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Condizione: As New. Unread book in perfect condition. Codice articolo 3222105
Quantità: 3 disponibili