Principles of Concurrent and Distributed Programming (Prentice-hall International Series in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del 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.
De la contraportada
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Principles of Concurrent and Distributed Programming...
Imagen de archivo
Principles of Concurrent and Distributed Programming
Publicado por
Addison Wesley, 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Antiguo o usado
Tapa blanda
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Item in good condition and has highlighting/writing on text. Used texts may not contain supplemental items such as CDs, info-trac etc. Nº de ref. del artículo: 00095394908
Comprar usado
EUR 29,99
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Principles of Concurrent and Distributed Programming (Prentice-hall International Series in Computer Science)
Publicado por
Addison Wesley, 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Antiguo o usado
Paperback
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Nº de ref. del artículo: GOR004881979
Comprar usado
EUR 27,12
Envío por EUR 6,71
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Principles of Concurrent and Distributed Programming: Algorithms and Models (Prentice-Hall International Series in Computer Science)
Publicado por
Addison Wesley, 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Antiguo o usado
Tapa blanda
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Nº de ref. del artículo: M0032131283X-G
Comprar usado
EUR 25,81
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Principles of Concurrent and Distributed Programming
Publicado por
Addison Wesley, 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Antiguo o usado
paperback
Librería: BookResQ., West Valley City, UT, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: Good. Ex-library book with typical stickers and stampings. Curled book. Priority Mail is available on this item. No international shipping. Nº de ref. del artículo: D461125AGmug173883
Comprar usado
EUR 51,00
Envío por EUR 5,96
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Principles of Concurrent and Distributed Programming
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: GB-9780321312839
Comprar nuevo
EUR 98,62
Envío por EUR 5,81
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
Principles of Concurrent and Distributed Programming
Librería: Textbooks_Source, Columbia, MO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. 2nd Edition. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Nº de ref. del artículo: 000129057N
Comprar nuevo
EUR 105,81
Envío por EUR 3,40
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Principles of Concurrent and Distributed Programming (Paperback)
Publicado por
Pearson Education (US), New Jersey, 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Nuevo
Paperback
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. Principles of Concurrent and Distributed Programming provides an introduction to concurrent programming focusing on general principles and not on specific systems. Software today is inherently concurrent or distributed from event-based GUI designs to operating and real-time systems to Internet applications. This edition is an introduction to concurrency and examines the growing importance of concurrency constructs embedded in programming languages and of formal methods such as model checking. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9780321312839
Comprar nuevo
EUR 110,65
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Principles of Concurrent and Distributed Programming
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-032131283X
Comprar nuevo
EUR 108,97
Envío por EUR 5,92
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Principles of Concurrent And Distributed Programming
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 3222105-n
Comprar nuevo
EUR 98,60
Envío por EUR 17,35
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
Principles of Concurrent and Distributed Programming: Algorithms and Models (Prentice-Hall International Series in Computer Science)
Publicado por
Addison Wesley 2005-11-29, 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-GRD-9780321312839
Comprar nuevo
EUR 101,08
Envío por EUR 17,92
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 3 disponibles