Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Format:
Kindle
Hardcover
Kindle
Paperback
Fuera de stock
0.76 kg
Sí
Nuevo
Amazon
USA
- 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 are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.
Fuera de stock
Selecciona otra opción o busca otro producto.
Conoce más detalles
Highlight, take notes, and search in the book
Otros Productos
Ver másCompra protegida
Disfruta de una experiencia de compra segura y confiable
¿Cómo comprar?
Condiciones según método de envío
Correo privado:
- El monto de compra no debe superar los U$S 3.000 en valor productos.
- El paquete no debe pesar más de 50kg (cada unidad no debe superar los 20kg).
- El destinatario debe tener CUIT o CUIL para realizar la compra y también tener una dirección fiscal electrónica cargada en su perfil de AFIP.
- No se puede comprar más de 3 unidades de un mismo producto, o que pertenezcan a una misma familia / categoría por envío.
- Cada usuario tiene un límite de 5 compras personales anuales (Cada una de hasta U$S 3.000).
Correo Argentino:
- No se puede comprar más de 3 unidades de un mismo producto, o que pertenezcan a una misma familia / categoría por envío.
- Cada usuarios puede utilizar 12 franquicias de hasta U$S 50 libres de impuestos que ofrece la nueva reglamentación de AFIP. En caso de que se supere ese cupo, el comprador deberá abonar en concepto de impuestos, el 50% sobre el costo del producto.
- El régimen Puerta a Puerta abarca todos los envíos que pesan hasta 20 kilos y tienen un valor de hasta U$S 1.000.
- Los clientes que hagan compras bajo esta modalidad no deben realizar la Declaración de Recepción de Compra.
¡Aseguramos la entrega de tu orden!
Todas las órdenes están aseguradas para llegar a destino. Si tu pedido no llega luego de 75 días hábiles de haberlo realizado, te devolvemos el dinero. En el caso de Correo Argentino, deberás haber realizado la declaración jurada y el pago de la tasa postal mediante VEP (Volante Electrónico de Pago) en el plazo indicado.
¿Cómo solicitar una devolución?
Para solicitar una devolución, el cliente debe realizarlo a través de su cuenta de Tiendamia en los primeros 7 días corridos desde la entrega de la orden. Este proceso está sujeto a la aprobación del departamento de Devoluciones (lo cual puede demorar de 48hs a 72hs hábiles). En caso de no tener la opción en la web, el cliente debe contactarse con Atención al Cliente para iniciar la solicitud.
Tarjetas de Crédito y Débito
Visa
Mastercard
American Express
Pagos a través de PayPal
Compra procesada en dólares con dinero en cuenta o tarjetas internacionales.
Paypal
Pagos a través de MODO
Compra procesada en pesos desde la App de tu banco.
PayPal
¡Elegí entre pagar en pesos o en dólares!
Más opciones, mayor flexibilidad. Seleccioná la moneda al momento de pagar y disfrutá de tu compra sin sorpresas.