Modeling Time in Computing.
Furia, Carlo A.:
Vendido por Antiquariat Bookfarm, Löbnitz, Alemania
Vendedor de AbeBooks desde 28 de octubre de 2009
Usado - Encuadernación de tapa dura
Cantidad disponible: 1 disponibles
Añadir al carritoVendido por Antiquariat Bookfarm, Löbnitz, Alemania
Vendedor de AbeBooks desde 28 de octubre de 2009
Cantidad disponible: 1 disponibles
Añadir al carrito424 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9783642323317 Sprache: Englisch Gewicht in Gramm: 990.
N° de ref. del artículo 2340168
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.
After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common "ancestors"; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and "dual-language approaches" combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope.
The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.
"Sobre este título" puede pertenecer a otra edición de este libro.
Ver la página web de la librería
**Informe de revocación/ Modelo de formulario de revocación/
Condiciones Generales de Contratación e informaciones del cliente / Protección de los datos personales
**
Derecho de revocación para el consumidor
(Se entiende por "consumidor" cualquier persona natural que celebre un negocio jurídico con fines que no puedan atribuirse ni a su actividad comercial ni a su actividad profesional particular.)
Información sobre el derecho de revocación
Derecho de revocación
Tiene derecho a revocar el presen...
Derecho de revocación para el consumidor
(Se entiende por "consumidor" cualquier persona natural que celebre un negocio jurídico con fines que no puedan atribuirse ni a su actividad comercial ni a su actividad profesional particular.)
INFORMACIÓN SOBRE EL DERECHO DE REVOCACIÓN
Derecho de revocación
Tiene derecho a revocar el presente contrato dentro de un plazo de 30 días sin necesidad de alegar ningún motivo.
El plazo de revocación es de 30 días contados a partir del día
en el que usted o una tercera persona designada por usted (que no sea el transportista) tome posesión de las mercancías, siempre que usted haya solicitado una o varias mercancías dentro del marco de un pedido común y este se suministre en conjunto;
en el que usted o una tercera persona designada por usted (que no sea el transportista) tome posesión de la última mercancía, siempre que usted haya solicitado varias mercancías dentro del marco de un pedido común y este se suministre por separado;
en el que usted o una tercera persona designada por usted (que no sea el transportista) tome posesión del último envío parcial o de la última unidad, siempre que usted haya solicitado una mercancía que deba ser suministrada en varios envíos parciales o unidades;
Para ejercer su derecho de revocación, deberá informarnos (Sebastian Seckfort, Luftpark 2, 04509 Löbnitz, número de teléfono: 034133756121, Dirección de E-Mail: kontakt@bookfarm.de) sobre su decisión de revocar este contrato a través de una declaración unívoca (p. ej., una carta enviada por correo postal, un telefax o un correo electrónico). Para ello, puede utilizar el modelo de formulario de revocación adjunto, aunque no es obligatorio.
Para salvaguardar el plazo de revocación es suficiente con el envío de la notificación sobre el uso del derecho de revocación antes de que expire el plazo de revocación.
Consecuencias de la revocación
En caso de que revoque este contrato, estaremos obligados a reembolsarle todos los pagos que hayamos recibido de su parte, incluyendo los costes de entrega (a excepción de los costes adicionales que se deriven en caso de que usted opte por otra modalidad de suministro diferente a la modalidad de suministro estándar más económica ofrecida por nosotros) con carácter inmediato y como máximo dentro de un plazo de 14 días contados a partir del día de la recepción de la notificación sobre su revocación del presente contrato en nuestras dependencias. Para efectuar dicho reembolso, utilizaremos la misma modalidad de pago que utilizó usted al efectuar la transacción original, a no ser que se haya acordado algo diferente expresamente con usted. En ningún caso se le abonará ninguna contraprestación con motivo de dicho reembolso.
Nosotros podremos negarnos a efectuar el reembolso hasta que hayamos recuperado de nuevo las mercancías o hasta que nos demuestre mediante un comprobante que nos ha enviado las mercancías, lo cual dependerá del hecho que se produzca antes.
Usted está obligado a enviarnos de vuelta o entregarnos las mercancías de inmediato y, en cualquier caso, como máximo dentro de un periodo de 14 días contados a partir del día en el que nos informe de la revocación del presente contrato, lo cual tendrá lugar en nuestra dirección . El plazo quedará salvaguardado si efectúa el envío de las mercancías antes de que expire el plazo de 14 días.
Nosotros asumimos los costes de la devolución de las mercancías.
Usted solo deberá responder en caso de depreciación de las mercancías cuando dicha depreciación se atribuya a una manipulación no necesaria para la comprobación de la naturaleza, las propiedades y el funcionamiento de las mercancías.
Motivos de exclusión y de extinción
El derecho de revocación no tendrá validez en caso de contratos:
relacionados con el suministro de mercancías que no hayan sido prefabricadas y para cuya fabricación sea determinante una selección o definición individual por parte del consumidor, o bien que hayan sido concebidas unívocamente en base a las necesidades personales del consumidor
relacionados con el suministro de mercancías que pueden corromperse rápidamente o cuya fecha de caducidad podría sobrepasarse rápidamente
relacionados con el suministro de bebidas alcohólicas cuyo precio haya sido acordado en el momento de la celebración del contrato, pero que no puedan ser suministradas antes de los 30 días siguientes a la fecha de celebración del contrato y cuyo valor actual dependa de las fluctuaciones del mercado, sobre lo cual el empresario no tiene ninguna influencia
relacionados con el suministro de periódicos, revistas o revistas ilustradas, a excepción de contratos de suscripción.
El derecho de revocación se extinguirá de forma anticipada en caso de contratos:
relacionados con el suministro de mercancías precintadas que no sean apropiadas para ser devueltas por motivos de protección de la salud o de higiene cuando su precinto haya sido retirado tras el suministro
relacionados con el suministro de mercancías que, debido a su naturaleza, hayan sido mezcladas de forma inseparable con otras mercancías tras el suministro
relacionados con suministros de grabaciones de sonido o vídeo o software informático en un embalaje precintado si dicho precinto ha sido retirado tras el suministro.
Modelo de formulario de revocación
(Si desea revocar el contrato, rellene este formulario y envíenoslo.)
A Sebastian Seckfort, Luftpark 2, 04509 Löbnitz, dirección de e-Mail: kontakt@bookfarm.de :
Por la presente, revoco/revocamos () el contrato firmado por mí/por nosotros () sobre la compra de las siguientes mercancías ()/
la prestación de los siguientes servicios ()
Fecha del pedido ()/ de la recepción ()
Nombre del consumidor/de los consumidores
Dirección del consumidor/de los consumidores
Firma del consumidor/de los consumidores (solo en caso de notificación en papel)
Fecha
(*) Tachar lo que no proceda.
The flat shipping rates are based on shipments with an average weight. If the book you ordered is particularly heavy or bulky, we will inform you of any additional shipping charges that may apply.
| Cantidad del pedido | De 7 a 14 días hábiles | De 7 a 14 días hábiles |
|---|---|---|
| Primer artículo | EUR 40.00 | EUR 40.00 |
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.