This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N� de ref. del art�culo ABNR-184042

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Real-Time Systems: Formal Specification And ...

Editorial: Cambridge University Press

A�o de publicaci�n: 2008

Encuadernaci�n: Encuadernaci�n de tapa dura

Condici�n: New

Acerca de

Sinopsis:

An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata.

Biograf�a del autor:

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).

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

Descripci�n de la librer�a

We sell textbooks to students at very affordable prices. All books are brand new, satisfaction guaranteed.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Romtrade Corp.
39137 BYERS DR., STERLING HEIGHTS, MI, 48310, U.S.A.

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. The contact persons name is
Constantin Marandici and the m...

M�s informaci�n

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 oversized, we may contact you to let you know extra shipping is required. We use USPS, DHL and ARAMEX for shipping.

M�todos de pago
aceptados por la librer�a

A�adir una petici�n

Art�culos relacionados a Real-Time Systems: Formal Specification And Automatic...

Real-Time Systems: Formal Specification And Automatic Verification

Olderog, Ernst-R�diger; Dierks, Henning

Nuevos - Encuadernaci�n de tapa dura

Informaci�n empresarial del vendedor