Formal Methods for Distributed Processing A Survey of Object-Oriented Approaches
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.
Howard Bowman (Edited by), John Derrick (Edited by)
9780521168755, Cambridge University Press
Paperback / softback, published 21 July 2011
492 pages
25.4 x 17.8 x 2.5 cm, 0.85 kg
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques]
Price now:
From
£44.49
to
£60.85
Historial de precios:
Detalles:Formal Methods for Distributed Processing A Survey of Object-Oriented Approaches
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.
Howard Bowman (Edited by), John Derrick (Edited by)
9780521168755, Cambridge University Press
Paperback / softback, published 21 July 2011
492 pages
25.4 x 17.8 x 2.5 cm, 0.85 kg
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques]
Price now:
From
£44.49
to
£60.85
eBay
Nuevo
£44.49
Fnac ES
11.30% ( -7,75 €)
Nuevo
60,85 €
Descripción del Producto
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.
Howard Bowman (Edited by), John Derrick (Edited by)
9780521168755, Cambridge University Press
Paperback / softback, published 21 July 2011
492 pages
25.4 x 17.8 x 2.5 cm, 0.85 kg
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques]
Especificaciones del producto
General | |
|---|---|
Format | Paperback |
Language | English |
Type | Textbook |
Brand | Cambridge |
Productos relacionados
Entrega, devoluciones y reembolsos
Entrega
Los vendedores ofrecen una variedad de opciones de entrega, por lo que puede elegir la que le resulte más conveniente. Muchos vendedores ofrecen entrega gratuita. Siempre puede encontrar el costo de envío y la fecha de entrega estimada en una lista del vendedor. Luego podrá ver una lista completa de opciones de entrega durante el pago. Estos pueden incluir: entrega urgente, entrega estándar, entrega económica, Click & Collect, colección local gratuita del vendedor.
Devoluciones
Sus opciones para devolver un artículo varían según lo que desea devolver, por qué desea devolverlo y la política de devolución del vendedor. Si el artículo está dañado o no coincide con la descripción del listado, puede devolverlo incluso si la política de devoluciones del vendedor dice que no acepta devoluciones. Si ha cambiado de opinión y ya no desea un artículo, aún puede solicitar una devolución, pero el vendedor no tiene que aceptarlo. Si el comprador cambia de opinión acerca de una compra y desea devolver un artículo, es posible que deba pagar los gastos de envío, según la política de devolución del vendedor. Los vendedores pueden proporcionar una dirección de franqueo de devolución e información adicional sobre el franqueo de devolución para el comprador. Los vendedores pagan el franqueo de devolución si hay un problema con el artículo. Por ejemplo, si el artículo no coincide con la descripción del listado, está dañado o es defectuoso o es falso. Por ley, los clientes en la Unión Europea también tienen el derecho de cancelar la compra de un artículo dentro de los 14 días a partir del día en que recibe, o un tercero indicado por usted (que no sea el transportista) recibe, el último bien ordenado por usted (si se entrega por separado) Esto se aplica a todos los productos, excepto los artículos digitales (por ejemplo, música digital) que se le proporcionan inmediatamente con su reconocimiento, y otros artículos como video, DVD, audio, videojuegos, productos de sexo y sensualidad y productos de software donde el artículo ha sido sin sellar
Reembolsos
Los vendedores tienen que ofrecer un reembolso por ciertos artículos solo si están defectuosos, tales como: artículos personalizados y artículos hechos a medida, artículos perecederos, periódicos y revistas, CD de DVD sin envolver y software de computadora. Si utilizó su saldo de PayPal o cuenta bancaria para financiar el pago original, el dinero reembolsado volverá al saldo de su cuenta de PayPal. Si utilizó una tarjeta de crédito o débito para financiar el pago original, el dinero reembolsado volverá a su tarjeta. El vendedor efectuará el reembolso dentro de los tres días hábiles, pero puede demorar hasta 30 días para que Paypal procese la transferencia. Para pagos financiados parcialmente por una tarjeta y parcialmente por su saldo / banco, el dinero tomado de su tarjeta volverá a su tarjeta y el resto volverá a su saldo de PayPal.