Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 51876 HUF
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

342 b

51 876 Ft

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

Up to 30 days for returns

Customers also purchased

Charaktere heophrastus

Hardback

5 719 Ft

Lord Byron Alfred Schirokauer

Paperback

8 227 Ft

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

Paperback

9 515 Ft

Okamgnienie Lem Stanisław

Paperback

3 341 Ft

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

Paperback

5 116 Ft

100 SUGGERIMENTS PER A EDUCAR EN FAMILIA VALENCIANO OLLER

Paperback

5 767 Ft

Durchs wilde Kurdistan, 1 MP3-CD Karl May

Audio CD

6 830 Ft

La testa della vipera Vittorio Bersezio

Hardback

7 193 Ft

Dantes Dichtung. Übertragen Von Julius Schlosser Benedetto Croce

Paperback

10 520 Ft

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

Paperback

17 909 Ft

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

Paperback

5 781 Ft

El rayo que no cesa Miguel Hernández

Paperback

4 355 Ft

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

Paperback

4 810 Ft

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.