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: 550.54 PLN
Availability: PreOrder

Autor: S. Ramesh, R. K. Shyamasundar

Język:

Oprawa: Twarda

Wydawca: World Scientific Publishing Co Pte Ltd

Dostępność: Dodruk

Termin nieznany

550.54 zł

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

Informacje o książce

Autor

S. Ramesh, R. K. Shyamasundar

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2009

strony

264

EAN

9789810225667

ISBN

9810225660

Enbook ID

05065379

Wydawca

World Scientific Publishing Co Pte Ltd

Waga

628

Wymiary

172 x 257 x 16

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Real Time Programming: Languages, Specification And Verification

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również