Understanding concurrent systems de roscoe (46 resultados)
Idioma: Inglés
Editorial: Springer (India) Private Limited, 2011
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 16,58
Envío por EUR 7,63Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer Exclusive(Cbs), 2011
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
- Edición internacional
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasEdición internacionalCondición: Nuevo
EUR 27,28
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Condición: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be print…ed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.
Idioma: Inglés
Editorial: Springer Exclusive(Cbs), 2011
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de AmericaSMASS Sellers
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 28,22
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Condición: New. Brand New, Softcover edition. This item may ship from the US or our Overseas warehouse depending on your location and stock availability.
Idioma: Inglés
Editorial: Springer, 2011
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
Librería: Books in my Basket, New Delhi, IndiaBooks in my Basket
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 9,02
Envío por EUR 18,00Se envía de India a Estados Unidos de AmericaCantidad disponible: 2 disponibles
N.A. Condición: New. ISBN:9788132204121,Territorial restriction maybe printed on the book. This is an Int'l edition, ISBN and cover may differ from US edition, Contents same as US edition.
Idioma: Inglés
Editorial: SPRINGER EXCLUSIVE(CBS), 2011
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
- Edición internacional
Librería: UK BOOKS STORE, London, LONDO, Reino UnidoUK BOOKS STORE
Contactar con el vendedorVendedor de 5 estrellasEdición internacionalCondición: Nuevo
EUR 37,99
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if th…e Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Idioma: Inglés
Editorial: Springer Nature (Sie), 2011
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
Librería: Books in my Basket, New Delhi, IndiaBooks in my Basket
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 13,65
Envío por EUR 18,00Se envía de India a Estados Unidos de AmericaCantidad disponible: 4 disponibles
N.A. Condición: New. ISBN:9788132204121.
Idioma: Inglés
Editorial: Springer, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 52,40
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer London, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,80
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Editorial: Springer London, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,67
Envío por EUR 7,93Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Editorial: Springer, 2012
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,95
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 55,92
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer 10/25/2010, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,87
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Hardback or Cased Book. Condición: New. Understanding Concurrent Systems. Book.
Idioma: Inglés
Editorial: Springer, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 61,43
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer, 2012
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 60,52
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,66
Envío por EUR 17,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer 2010-10-25, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,22
Envío por EUR 18,18Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardback. Condición: New.
Idioma: Inglés
Editorial: Springer, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,43
Envío por EUR 14,06Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Springer, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 55,60
Envío por EUR 17,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer, 2012
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,39
Envío por EUR 14,06Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Springer 2012-12-03, 2012
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,08
Envío por EUR 18,18Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: New.
Idioma: Inglés
Editorial: Springer, 2012
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,08
Envío por EUR 17,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer London Ltd, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,74
Envío por EUR 23,99Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardback. Condición: New. New copy - Usually dispatched within 3 working days.
Idioma: Inglés
Editorial: Springer, 2012
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 82,05
Envío por EUR 3,50Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 548.
Idioma: Inglés
Editorial: Springer, 2012
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 67,57
Envío por EUR 17,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 86,28
Envío por EUR 3,50Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 548.
Idioma: Inglés
Editorial: Springer, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: Speedyhen, Hertfordshire, Reino UnidoSpeedyhen
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 45,57
Envío por EUR 48,11Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: NEW.
Idioma: Inglés
Editorial: Springer, 2013
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 84,06
Envío por EUR 14,67Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 548 pages. 9.06x6.06x1.34 inches. In Stock.
Idioma: Inglés
Editorial: Springer London, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,43
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. Presents a comprehensive and up-to-date guide to the theory and practice of concurrencyExamines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigmsContains exercises throughout, and supplies supporting reso.
Más imágenesIdioma: Inglés
Editorial: Springer, 2012
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,40
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Understanding Concurrent Systems | A. W. Roscoe | Taschenbuch | Texts in Computer Science | xviii | Englisch | 2012 | Springer | EAN 9781447126003 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preig…u.
Idioma: Inglés
Editorial: Springer London, 2010
Serie: Texts in Computer Science, Libro 18 de 83. Libro 18 de 83 - Texts in Computer Science
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,57
Envío por EUR 64,72Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of… CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style.An invaluable reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in addition to providing material for a number of more advanced courses. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these. The text is fully integrated with CSP-based tools such as FDR, and describes how to create new tools based on FDR. Most of the book relies on no theoretical background other than a basic knowledge of sets and sequences. Sophisticated mathematical arguments are avoided whenever possible.Topics and features: presents a comprehensive introduction to CSP; discusses the latest advances in CSP, covering topics of operational semantics, denotational models, finite observation models and infinite-behaviour models, and algebraic semantics; explores the practical application of CSP, including timed modelling, discrete modelling, parameterised verifications and the state explosion problem, and advanced topics in the use of FDR; examines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigms; covers a broad variety of concurrent systems, including combinatorial, timed, priority-based, mobile, shared variable, statecharts, buffered and asynchronous systems; contains exercises and case studies to support the text; supplies further tools and information at theassociated website: comlab.ox.ac.uk/ucs/.From undergraduate students of computer science in need of an introduction to the area, to researchers and practitioners desiring a more in-depth understanding of theory and practice of concurrent systems, this broad-ranging text/reference is essential reading for anyone interested in Hoare's CSP.
