Formal Methods in Computer Science
Jiacun Wang
Vendido por AHA-BUCH GmbH, Einbeck, Alemania
Vendedor de AbeBooks desde 14 de agosto de 2006
Nuevos - Encuadernación de tapa blanda
Condición: Nuevo
Cantidad disponible: 1 disponibles
Añadir al carritoVendido por AHA-BUCH GmbH, Einbeck, Alemania
Vendedor de AbeBooks desde 14 de agosto de 2006
Condición: Nuevo
Cantidad disponible: 1 disponibles
Añadir al carritonach der Bestellung gedruckt Neuware - Printed after ordering - This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
N° de ref. del artículo 9781498775328
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.
The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.
Features
* Introduces a comprehensive, yet manageable set of formal techniques for computer science students
* Stresses real-world application value of each formal technique
* Offers a good set of exercises which help students better understand the presented techniques
* Also offers a prepared source code for downloading and non-commercial use
Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004.
William Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development.
"Sobre este título" puede pertenecer a otra edición de este libro.
Ver la página web de la librería
Términos y Condiciones Generales e Información del Cliente / Política de Privacidad
I. Términos y Condiciones Generales
§ 1 Disposiciones básicas
(1)Los siguientes términos y condiciones se aplican a todos los contratos que celebre con nosotros como proveedor (AHA-BUCH GmbH) a través de las plataformas de Internet AbeBooks y/o ZVAB. A menos que se acuerde lo contrario, se objetará la inclusión de cualquiera de sus propios términos y condiciones utilizados por usted.
(2)Un consumidor en el sentid...
Si eres un consumidor puedes cancelar el presente contrato de acuerdo con lo indicado a continuación. Son consumidores las personas físicas que actúen con un propósito ajeno a su actividad comercial, empresarial, oficio o profesión.
Documento de información al consumidor y usuario sobre el desistimiento
Derecho de desistimiento:
Tienes derecho a desistir del presente contrato en un plazo de 14 días naturales sin necesidad de justificación.
El plazo de desistimiento expirará a los 14 días naturales del día en que tú o un tercero que hayas indicado, distinto del transportista, adquiera la posesión material del último bien, componente o pieza.
Para ejercer el derecho de desistimiento, deberás notificarnos a AHA-BUCH GmbH, Garlebsen 48, 37574, Einbeck, Germany, 49 55639996039, de tu decisión de desistir del contrato a través de una declaración inequívoca (por ejemplo, una carta enviada por correo postal, fax o correo electrónico). Podrás utilizar el modelo de formulario de desistimiento que figura a continuación, aunque su uso no es obligatorio. Tienes asimismo la opción de cumplimentar y enviar electrónicamente el modelo de formulario de desistimiento o cualquier otra declaración inequívoca a través de nuestro sitio web a "Mis pedidos" en "Mi cuenta". Si recurres a esta opción, te comunicaremos sin demora en un soporte duradero (por ejemplo, por correo electrónico) la recepción de dicho desistimiento.
Para cumplir el plazo de desistimiento, basta con que la comunicación relativa al ejercicio por tu parte de este derecho sea enviada antes de que venza el plazo correspondiente.
Consecuencias del desistimiento:
En caso de desistimiento por tu parte, te devolveremos todos los pagos recibidos de ti, incluidos los gastos de entrega (con la excepción de los gastos adicionales resultantes de la elección por tu parte de una modalidad de entrega diferente a la modalidad menos costosa de entrega ordinaria que ofrezcamos) sin ninguna demora indebida y, en todo caso, a más tardar 14 días naturales a partir de la fecha en la que se nos informes de tu decisión de desistir del presente contrato. Procederemos a efectuar dicho reembolso utilizando el mismo medio de pago empleado por ti para la transacción inicial, a no ser que hayas dispuesto expresamente lo contrario; en todo caso, no incurrirás en ningún gasto como consecuencia del reembolso.
Podremos retenerte el reembolso hasta haber recibido los bienes, o hasta que hayas presentado una prueba de la devolución de los mismos, según qué condición se cumpla primero. Deberás devolvernos o entregarnos directamente los bienes a AHA-BUCH GmbH, Garlebsen 48, 37574, Einbeck, Germany, 49 55639996039, sin ninguna demora indebida y, en cualquier caso, a más tardar en el plazo de 14 días naturales a partir de la fecha en que nos comuniques tu decisión de desistimiento del contrato. Se considerará cumplido el plazo si efectúas la devolución de los bienes antes de que haya concluido dicho plazo. Deberás asumir el coste directo de devolución de los bienes. Solo serás responsable de la disminución de valor de los bienes resultante de una manipulación distinta a la necesaria para establecer la naturaleza, las características y el funcionamiento de los bienes.
Excepciones al derecho de desistimiento:
Modelo de formulario de desistimiento
(Sólo debe cumplimentar y enviar el presente formulario si desea desistir del contrato)
A la atención de: (AHA-BUCH GmbH, Garlebsen 48, 37574, Einbeck, Germany, 49 55639996039)
Por la presente le comunico/comunicamos* que desisto de mi/desistimos de nuestro* contrato de venta del siguiente bien/prestación del siguiente servicio*
Pedido el/recibido el*:
Nombre del consumidor y usuario o de los consumidores y usuarios:
Domicilio del consumidor y usuario o de los consumidores y usuarios:
Firma del consumidor y usuario o de los consumidores y usuarios (solo si el presente formulario se presenta en papel):
Fecha:
* Eliminar en su caso
Enviamos su pedido después de recibirlos
para artículos disponibles las últimas 24 horas,
para artículos con suministro nocturno a más tardar 48 horas.
En caso de que necesitemos pedir un artículo a nuestro proveedor, nuestro tiempo de envío depende de la fecha de recepción de los artículos, pero los artículos se enviarán el mismo día.
Nuestro objetivo es enviar los artículos pedidos de la manera más rápida, pero también más eficiente y segura a nuestros clientes.
| Cantidad del pedido | De 30 a 40 días hábiles | De 7 a 14 días hábiles |
|---|---|---|
| Primer artículo | EUR 62.40 | EUR 72.40 |
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.