Real-Time Systems: Specification, Verification and Analysis| Mathai Joseph | Prentice Hall, 1996. In-8� broch�, 278p. Couverture propre. Dos solide. Int�rieur frais sans soulignage ou annotation. Exemplaire de biblioth�que : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons � l'int�rieur de l'ouvrage. Tr�s bon �tat g�n�ral. [BA39].

N� de ref. del art�culo 0411UNMYFWN

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Real-Time Systems: Specification, Verification and Analysis Joseph, M.
Editor: Prentice Hall
Fecha de publicaci�n: 1995
Idioma: Ingl�s
ISBN 10: 0134552970
ISBN 13: 9780134552972
Encuadernaci�n: Encuadernaci�n de tapa blanda
Estado: Used: Good

Acerca de

Sinopsis

This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. The presentation makes use of recent research which has demonstrated the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique and examples help reinforce the theory presented in the text. Coverage includes advanced scheduling theory, as well as new specification and verification methods, linked together by consideration of a common, non-trivial example. All chapters contains exercises in the general text as well as graded exercises at the end.

Rese�a del editor

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

Descripci�n de la librer�a

Install�e dans le Lot, � Figeac, la librairie Parr�sia dispose d'un fonds important de livres anciens et d'occasion. Une place de choix est r�serv�e aux �tudes universitaires et aux livres rares.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Librairie Parr�sia
France

Condiciones de venta y env�o

Condiciones de venta

Conditions de vente conformes aux usages de la libraire ancienne et moderne.

Condiciones de env�o

Emballages soign�s et solides, sous enveloppes � bulles.
Les frais de port sont calcul�s sur la base d'un livre = un kilo. Au cas o� les livres command�s seraient particuli�rement lourds ou imposants, vous serez inform� que des frais suppl�mentaires s'appliquent.