Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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: 131.89 EUR
Availability: InStock
Author: S. Ramesh
ISBN: 9789810225667

S. Ramesh

R. K. Shyamasundar

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 05065379

Nakladateľstvo 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... Celý popis

Libristo kód: 05065379

319 b

131.89 €

50 % šanca Prehľadáme celý svet Kedy knihu dostanem?

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Charaktere heophrastus

Pevná

14.38 €

Lord Byron Alfred Schirokauer

Brožovaná

20.55 €

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

Brožovaná

22.88 €

Okamgnienie Lem Stanisław

Brožovaná

9.11 €

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

Brožovaná

13.97 €

100 SUGGERIMENTS PER A EDUCAR EN FAMILIA VALENCIANO OLLER

Brožovaná

15.69 €

Durchs wilde Kurdistan, 1 MP3-CD Karl May

Audio CD

17.01 €

La testa della vipera Vittorio Bersezio

Pevná

17.92 €

Dantes Dichtung. Übertragen Von Julius Schlosser Benedetto Croce

Brožovaná

26.73 €

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

Brožovaná

44.66 €

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

Brožovaná

13.87 €

El rayo que no cesa Miguel Hernández

Brožovaná

11.84 €

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

Brožovaná

12.45 €

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.