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.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Internet business with occasional book fairs. Some 25,000 books on line. We are interested in purchasing large collections of science, literature and history. We have 25 years experience in the book and antique trade. Every effort is made to describe books accurately. We have a no quibbles guarantee. We are situated in Wigtown, Scotland's National Book Town, in Dumfries and Galloway which is an area of scenic beauty and tranquil countryside.

Visita la pagina della libreria

Membro dell'associazione

I librai membri di queste associazioni si distinguono per elevata competenza e professionalit�. Garantiscono l'autenticit� di tutti gli articoli messi in vendita. Forniscono descrizioni approfondite e dettagliate, rivelano tutti i difetti e / o restauri rilevanti, forniscono prezzi chiari e precisi e operano con correttezza e onest� durante l'esperienza di acquisto.

Informazioni sull?azienda del venditore

Webbooks, Wigtown
25, bladnoch, wigtown, newton stewart, DG8 9AB, United Kingdom

Condizioni di vendita e spedizione

Condizioni di vendita

VISA MASTERCARD SWITCH CHEQUES IN POUNDS STERLING PAY PAL
We have a no quibbles guarantee.
Company no 04266329

Condizioni di spedizione

Shipping costs are based on books weighing 2.2 LB, or 1 KG, when packed for shipping. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.