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
Pearson Education (US), 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Antiguo o usado
Paperback
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. 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. Nº de ref. del artículo: 00095394908
Comprar usado
EUR 51,82
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 (US), 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Antiguo o usado
Paperback
Librería: World of Books Inc, Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Good. 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. Nº de ref. del artículo: CIN032131283XG
Comprar usado
EUR 54,42
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 56,81
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
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 53,49
Envío por EUR 6,25
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 101,34
Envío por EUR 5,93
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
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. del artículo: 6666-GRD-9780321312839
Comprar nuevo
EUR 100,13
Envío por EUR 7,67
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 (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,31
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: 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 101,33
Envío por EUR 17,72
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
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 114,33
Envío por EUR 6,20
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
Publicado por
Pearson International, Pearson Nov 2005, 2005
ISBN 10: 032131283X
ISBN 13: 9780321312839
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 384 pp. Englisch. Nº de ref. del artículo: 9780321312839
Comprar nuevo
EUR 97,99
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles