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

Usado Condici�n: Like New Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Mispah books, Redhill, SURRE, Reino Unido

Vendedor de AbeBooks desde 15 de abril de 2021

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Like New

Precio: EUR 56,00 Convertir moneda

EUR 28,92 gastos de env�o desde Reino Unido 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

Like NewLIKE NEW.

N� de ref. del art�culo ERICA83605218833343

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: Like New
Tipo de libro: book

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

We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Mispah books
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

We offer excellent customer service & easy return facility.

we ship from Multiple location,UK,India,US

Return address:

Mispah books
flat4 ,
Centenary court, 30 Warwick Road
Redhill , SURRE RH1 1FQ
United Kingdom

Condiciones de env�o

Our rates depends on weight of the item & shipping destination

M�todos de pago

A�adir una petici�n