Real Time Programming: Languages, Specification And Verification

Name: Real Time Programming: Languages, Specification And Verification
Brand: World Scientific Publishing Co Pte Ltd
SKU: 9789810225667
Price: 48495 HUF
Availability: PreOrder

Szerző: S. Ramesh, R. K. Shyamasundar

Nyelv:

Kötés: Kemény kötésű

Kiadó: World Scientific Publishing Co Pte Ltd

Elérhetőség: Utánnyomás

Megjelenés ismeretlen

48 495 Ft

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

Információk a könyvről

Szerző

S. Ramesh, R. K. Shyamasundar

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2009

oldal

264

EAN

9789810225667

ISBN

9810225660

Enbook ID

05065379

Kiadó

World Scientific Publishing Co Pte Ltd

Súly

628

Méretek

172 x 257 x 16

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Real Time Programming: Languages, Specification And Verification

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták