Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Real Time Programming: Languages, Specification And Verification

Limba englezăengleză
Carte Copertă tare
Carte Real Time Programming: Languages, Specification And Verification S. Ramesh
Codul Libristo: 05065379
Editura World Scientific Publishing Co Pte Ltd, noiembrie 2009
The primary aim of this monograph is to present the current research efforts that have gone into, or... Descrierea completă
? points 341 b Curând Curând
740.68 lei
Retipărire preconizată Termenul este necunoscut Termenul este necunoscut

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Mémoires de Aimée de Coigny. Introd. et notes par Étienne Lamy Etienne Lamy / Carte Carte broșată
common.buy 132.42 lei
Okamgnienie Lem Stanisław / Carte Carte broșată
common.buy 46.71 lei
100 SUGGERIMENTS PER A EDUCAR EN FAMILIA VALENCIANO OLLER / Carte Carte broșată
common.buy 83.20 lei
Visite curieuse et secrète de la mer et ses abysses David Wahl / Carte Carte broșată
common.buy 74.86 lei
Dantes Dichtung. Übertragen Von Julius Schlosser Benedetto Croce / Carte Carte broșată
common.buy 147.02 lei
Die Wasserqualität des unteren Abschnitts der Bollingstedter Au/Schleswig-Holstein. Eine hydrologische und vegetationskundliche Analyse Jost Johannsen / Carte Carte broșată
common.buy 248.17 lei
El rayo que no cesa Miguel Hernández / Carte Carte broșată
common.buy 62.97 lei
Ni Monarchie, Ni Republique. Honnetete. Dissolution. Pouvoir Constituant. Suffrage Universel Bonhomme-J / Carte Carte broșată
common.buy 75.38 lei
Une Excursion Au Coudiat Batoum (Province de Constantine) Sans Auteur / Carte Carte broșată
common.buy 80.39 lei
Charaktere heophrastus / Carte Copertă tare
common.buy 79.45 lei
La testa della vipera Vittorio Bersezio / Carte Copertă tare
common.buy 99.89 lei
Durchs wilde Kurdistan, 1 MP3-CD Karl May / Audio Audio CD
common.buy 94.46 lei
Lord Byron Alfred Schirokauer / Carte Carte broșată
common.buy 113.97 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Real Time Programming: Languages, Specification And Verification
Autor S. Ramesh, R. K. Shyamasundar
Limba engleză
Legare Carte - Copertă tare
Data publicării 2009
Număr pagini 264
EAN 9789810225667
ISBN 9810225660
Codul Libristo 05065379
Editura World Scientific Publishing Co Pte Ltd
Greutatea 628
Dimensiuni 172 x 257 x 16

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Purgatory In Plain and Simple English - Physical Dante Alighieri / Carte Carte broșată
common.buy 57.13 lei
Process Control Steve S. Niu / Carte Copertă tare
common.buy 1 004.50 lei
Mystic Millionaire - Be Aware Anish Rakheja / Carte Carte broșată
common.buy 110.94 lei
Food in History Reay Tannahill / Carte Carte broșată
common.buy 86.44 lei
Prallsville Mills and Stockton Keith Strunk / Carte Carte broșată
common.buy 109.69 lei
Airplane Coloring Book for Kids Peter L Rus / Carte Carte broșată
common.buy 55.36 lei
Helping Children with ADHD - A CBT Guide for Practitioners, Parents and Teachers Susan Young / Carte Copertă tare
common.buy 542.44 lei
Mice Marysa Storm / Carte Carte broșată
common.buy 41.49 lei
PROMISES (Part 3) London Series Affairs of the Heart Kew Townsend / Carte Carte broșată
common.buy 72.05 lei
Reign of William Rufus and the Accession of Henry the First. Edward Augustus Freeman / Carte Carte broșată
common.buy 179.35 lei
A little book on MASTERY Julia Woodman / Carte Carte broșată
common.buy 57.13 lei
Ancient Egypt Lorna Oakes / Carte Carte broșată
common.buy 118.97 lei
An Overture to Geofinance: Global Finance, Geopolitics, and the Wielding of Power: Theory and Praxis Pascal Vander Straeten / Carte Carte broșată
common.buy 206.04 lei
Philemon's Letters to Onesimus William Laing / Carte Carte broșată
common.buy 153.90 lei
National Identity in Serbia Petsinis / Carte Carte broșată
common.buy 251.93 lei
Wedding Dress Danielle Steel / Carte Carte broșată
common.buy 89.88 lei
Lady's Handbook for Her Mysterious Illness Sarah Ramey / Carte Carte broșată
common.buy 84.04 lei
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 / Carte Carte broșată
common.buy 105.52 lei
Changeable and Reconfigurable Manufacturing Systems Hoda A. ElMaraghy / Carte Carte broșată
common.buy 854.96 lei
English Plus: 4: Workbook with MultiROM Janet Hardy-Gould / Carte Carte broșată
common.buy 143.27 lei
Seeking the Wolf Tree Natalie Cleavitt / Carte Copertă tare
common.buy 82.26 lei
Mad About Dinosaurs Ladybird / Carte Copertă tare
common.buy 37.11 lei
Measuring Racial Discrimination Panel on Methods for Assessing Discrimination / Carte Copertă tare
common.buy 461.84 lei
Cultures of Order Katja Weber / Carte Carte broșată
common.buy 207.61 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo