Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rudiger Olderog

ISBN 10: 0521883334 ISBN 13: 9780521883337

Editorial: Cambridge University Press, 2008

Idioma: Ingl�s

Impresi�n bajo demanda

Condici�n: Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por THE SAINT BOOKSTORE, Southport, Reino Unido

Vendedor de AbeBooks desde 14 de junio de 2006

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: Nuevo

Precio: EUR 112,02 Convertir moneda

EUR 10,17 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

This item is printed on demand. New copy - Usually dispatched within 5-9 working days 840.

N� de ref. del art�culo C9780521883337

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: Hardback
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

The Saint Bookstore has a range of over 1 million titles available.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

SB ONLINE LTD
50 Devonshire Road, Southport, PR9 7BZ, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Please order through the Abebooks checkout. We only take orders through Abebooks - We don't take direct orders by email or phone.

Refunds or Returns: A full refund of the purchase price will be given if returned within 30 days in undamaged condition.

As a seller on abebooks we adhere to the terms explained at http://www.abebooks.co.uk/docs/HelpCentral/buyerIndex.shtml - if you require further assistance please email us at orders@thesaintbookstore.co.uk

Condiciones de env�o

Most orders usually ship within 1-3 business days, but some can take up to 7 days.

M�todos de pago

A�adir una petici�n