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

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

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: 111.49 EUR
Availability: PreOrder
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

273 b

Coming soon

111.49 € VAT included

Reprint

Date unknown

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Charaktere heophrastus

Hardback

14.95 €

Lord Byron Alfred Schirokauer

Paperback

22.80 €

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

Paperback

20.29 €

Okamgnienie Lem Stanisław

Paperback

6.99 €

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

Paperback

11.49 €

100 SUGGERIMENTS PER A EDUCAR EN FAMILIA VALENCIANO OLLER

Paperback

12.59 €

Durchs wilde Kurdistan, 1 MP3-CD Karl May

Audio CD

19.95 €

La testa della vipera Vittorio Bersezio

Hardback

19.90 €

Dantes Dichtung. Übertragen Von Julius Schlosser Benedetto Croce

Paperback

23.99 €

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

Paperback

49.99 €

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

Paperback

12.29 €

El rayo que no cesa Miguel Hernández

Paperback

9.59 €

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

Paperback

10.89 €

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.