Artículos relacionados a Principles of Concurrent and Distributed Programming
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.
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 22,73
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
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: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. Nº de ref. del artículo: 00108446145
Comprar usado
EUR 22,73
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
Publicado por
Pearson Education, 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Antiguo o usado
Tapa blanda
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. 2 Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: GRP97186773
Comprar usado
EUR 22,74
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
Publicado por
Pearson Education, 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Antiguo o usado
Tapa blanda
Librería: Better World Books: West, Reno, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. 2 Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: GRP97186773
Comprar usado
EUR 22,74
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
Publicado por
Pearson Education, 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Antiguo o usado
Tapa blanda
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. 2 Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: GRP97186773
Comprar usado
EUR 19,38
Envío por EUR 5,84
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 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 33,33
Envío por EUR 20,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,33
Envío por EUR 6,00
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
Publicado por
Addison Wesley, 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Antiguo o usado
paperback
Librería: YESIBOOKSTORE, MIAMI, FL, Estados Unidos de America
Calificación del vendedor: 3 de 5 estrellas
paperback. Condición: As New. Nº de ref. del artículo: 032131283X-VB
Comprar usado
EUR 76,49
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 (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 101,30
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: 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 100,27
Envío por EUR 5,87
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles