Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Real Time Programming: Languages, Specification And Verification

Name: Real Time Programming: Languages, Specification And Verification
Brand: World Scientific Publishing Co Pte Ltd
SKU: 05065379
Price: 128.55 EUR
Availability: InStock
Author: S. Ramesh
ISBN: 9789810225667

S. Ramesh

R. K. Shyamasundar

Language

English

Book Hardback

Libristo code: 05065379

Publishers World Scientific Publishing Co Pte Ltd, November 2009

The primary aim of this monograph is to present the current research efforts that have gone into, or... Full description

Libristo code: 05065379

313 b

128.55 €

50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

Charaktere heophrastus

Hardback

14.26 €

Lord Byron Alfred Schirokauer

Paperback

20.39 €

Mémoires de Aimée de Coigny. Introd. et notes par Étienne Lamy Etienne Lamy

Paperback

23.91 €

Okamgnienie Lem Stanisław

Paperback

9.04 €

Visite curieuse et secrète de la mer et ses abysses David Wahl

Paperback

12.96 €

100 SUGGERIMENTS PER A EDUCAR EN FAMILIA VALENCIANO OLLER

Paperback

15.57 €

Durchs wilde Kurdistan, 1 MP3-CD Karl May

Audio CD

16.88 €

La testa della vipera Vittorio Bersezio

Hardback

17.78 €

Dantes Dichtung. Übertragen Von Julius Schlosser Benedetto Croce

Paperback

26.53 €

Die Wasserqualität des unteren Abschnitts der Bollingstedter Au/Schleswig-Holstein. Eine hydrologische und vegetationskundliche Analyse Jost Johannsen

Paperback

44.32 €

Une Excursion Au Coudiat Batoum (Province de Constantine) Sans Auteur

Paperback

14.46 €

El rayo que no cesa Miguel Hernández

Paperback

11.75 €

Ni Monarchie, Ni Republique. Honnetete. Dissolution. Pouvoir Constituant. Suffrage Universel Bonhomme-J

Paperback

13.06 €

The primary aim of this monograph is to present the current research efforts that have gone into, or are going on in, the systematic design of real-time programmes. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programmes. It will clearly enable us to identify languages that can be used for different kinds of applications. Obviously, in an upcoming area like this, this presentation is far from complete. The quintesssence of the monograph can be captured by the following question: how can we design and develop robust reactive (real-time) programmes? We address this question in this monograph through the various underlying issues listed, such as characteristics of real-time/reactive programmes, reactive programming languages, verification and refinements.