Real-Time Systems: Formal Specification and Automatic Verification

Olderog, Ernst-R�diger, Dierks, Henning

ISBN 10: 0521883334 ISBN 13: 9780521883337

Editorial: Cambridge University Press, 2008

Idioma: Ingl�s

Nuevos Condici�n: New Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por The Book Spot, Sioux Falls, MN, Estados Unidos de America

Vendedor de AbeBooks desde 5 de febrero de 2013

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Condici�n: New

Precio: EUR 74,00 Convertir moneda

EUR 38,49 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

N� de ref. del art�culo Abebooks143631

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Real-Time Systems: Formal Specification and Automatic Verification
Editor: Cambridge University Press
Fecha de publicaci�n: 2008
Idioma: Ingl�s
ISBN 10: 0521883334
ISBN 13: 9780521883337
Encuadernaci�n: Hardcover
Estado: New

Acerca de

Sinopsis

Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.

Acerca de los autores

E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).

H. Dierks is a researcher currently working with OFFIS, a technology transfer institute for computer science in Oldenburg, Germany.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

The Book Spot
MN, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Condiciones de env�o

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or over sized, we may contact you to let you know extra shipping is required.

M�todos de pago

Cheque Giro Postal Dinero en Efectivo PayPal Letra de Cambio

A�adir una petici�n