Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

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

S. Ramesh

R. K. Shyamasundar

Език

Английски език

Книга С твърди корици

Код Либристо: 05065379

Издателство World Scientific Publishing Co Pte Ltd, ноември 2009

The primary aim of this monograph is to present the current research efforts that have gone into, or... Цялото описание

Код Либристо: 05065379

341 b

Подготвяме

141.16 €

276.09 лв

Очаква се допечатка

Срокът не е известен

30 дни за връщане на стоката

Клиентите са закупили също

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

С меки корици

24.08 € 47.09 лв

Okamgnienie Lem Stanisław

С меки корици

9.37 € 18.32 лв

100 SUGGERIMENTS PER A EDUCAR EN FAMILIA VALENCIANO OLLER

С меки корици

16.62 € 32.50 лв

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

С меки корици

14.91 € 29.16 лв

Dantes Dichtung. Übertragen Von Julius Schlosser Benedetto Croce

С меки корици

28.01 € 54.78 лв

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

С меки корици

47.27 € 92.46 лв

El rayo que no cesa Miguel Hernández

С меки корици

12.58 € 24.60 лв

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

С меки корици

13.72 € 26.83 лв

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

С меки корици

14.60 € 28.55 лв

Charaktere heophrastus

С твърди корици

15.12 € 29.56 лв

La testa della vipera Vittorio Bersezio

С твърди корици

19.05 € 37.26 лв

Durchs wilde Kurdistan, 1 MP3-CD Karl May

Аудио компактдиск

18.02 € 35.24 лв

Lord Byron Alfred Schirokauer

С меки корици

21.74 € 42.53 лв

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.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Real Time Programming: Languages, Specification And Verification

Автор S. Ramesh, R. K. Shyamasundar

Език

Английски език

Корици Книга - С твърди корици

Дата на издаване 2009

Брой страници 264

Баркод 9789810225667

ISBN 9810225660

Код Либристо 05065379

Издателство World Scientific Publishing Co Pte Ltd

Тегло 628

Размери 172 x 257 x 16

Може би ще Ви заинтересува

Purgatory In Plain and Simple English - Physical Dante Alighieri

С меки корици

10.35 € 20.25 лв

Process Control Steve S. Niu

С твърди корици

191.45 € 374.44 лв

Mystic Millionaire - Be Aware Anish Rakheja

С меки корици

21.12 € 41.31 лв

Food in History Reay Tannahill

С меки корици

15.58 € 30.48 лв

Prallsville Mills and Stockton Keith Strunk

С меки корици

22.16 € 43.34 лв

Airplane Coloring Book for Kids Peter L Rus

С меки корици

9.94 € 19.44 лв

Helping Children with ADHD - A CBT Guide for Practitioners, Parents and Teachers Susan Young

С твърди корици

108.43 € 212.08 лв

Mice Marysa Storm

С меки корици

8.33 € 16.30 лв

PROMISES (Part 3) London Series Affairs of the Heart Kew Townsend

С меки корици

13.10 € 25.61 лв

Reign of William Rufus and the Accession of Henry the First. Edward Augustus Freeman

С меки корици

32.62 € 63.80 лв

A little book on MASTERY Julia Woodman

С меки корици

10.35 € 20.25 лв

Ancient Egypt Lorna Oakes

С меки корици

22.68 € 44.35 лв

An Overture to Geofinance: Global Finance, Geopolitics, and the Wielding of Power: Theory and Praxis Pascal Vander Straeten

С меки корици

37.38 € 73.12 лв

Philemon's Letters to Onesimus William Laing

С меки корици

29.36 € 57.42 лв

National Identity in Serbia Petsinis

С меки корици

50.38 € 98.54 лв

Wedding Dress Danielle Steel

С меки корици

17.14 € 33.51 лв

Lady's Handbook for Her Mysterious Illness Sarah Ramey

С меки корици

15.06 € 29.46 лв

Philosophical Dissertation on the Diving Vessel Projected by Mr. Day, and Sunk in Plymouth Sound; ... to Which Is Added, an Appendix, ... by N. D. Fal N. D. Falck

С меки корици

19.21 € 37.57 лв