Real Time Programming: Languages, Specification and Verification
von S. Ramesh, R. K. Shyamasundar
- buch.de-Verkaufsrang:
- ISBN-10:
- 981-02-2566-0
- ISBN-13:
- 978-981-02-2566-7
- Erschienen:
- 10.2009
- Titel voraussichtlich versandfertig innerhalb 3 Wochen.
- Einband: gebunden
- Sonstiges:
- Seitenzahl:
- 600
- Erschienen bei:
- World Scientific Pub Co (
- Mehr über...
- Mehr über: Computers - Languages / Programming, Programming Languages - General
- Mehr von:
- Mehr von: S. Ramesh, R. K. Shyamasundar, World Scientific Pub Co (
Kurzbeschreibung
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.
€ 121,70
Empfehlungen:
Das Mädchen-FragebuchEUR 9,95
- Im Anfang war der WasserstoffEUR 14,90
- The NotebookEUR 9,80
- Beagle. PraxisWissen HundEUR 12,95
- Praxisworkshop SAP-Controls und SAP List Viewer. SAP PressEUR 59,90
- Aromatische Kräuter. Kleine Bibliothek der KüchenkunstEUR 2,95
- Lillebi. Entdecke die Welt der ZahlenEUR 3,95
- Die schönsten Höhenwege der SchweizEUR 39,90
- Eastern Life (Volume 1); Present and PastEUR 12,40
- The Genesis Question: Scientific Advances and the Accuracy of GenesisEUR 9,87
- A Practical Treatise on the Law Relating to the Church and ClergyEUR 44,40
- Business Essentials & Study Guide PkgEUR 63,38
- British-American/American-British: Hippocrene DictionaryEUR 8,60
- Nuclear Conflict in the Middle East: An Analysis of Future EventsEUR 7,30
- Ontario Sessional Papers, 1900, No.1-4 (Volume 32, PT.1, 9th Legislature, 3rd Session, No.1-4)EUR 45,50
Mehr über:
- Schmidt Von Schwind Verlag
- medico international e.V., Verlag
- b.j.-Verlag
- Edition Korrespondenzen Reto Ziegler
- Grafik Werkstatt Bielefeld
- schwarz weiß Jahreskalender printing
- UK printing leaflets
- imprimerie de brochure A5
- eigen zaak beginnen
- vizitky levně
- imprenta a domicilio
- comprare carta intesta
Bei Videoaufzeichnungen sind Widerruf und Rückgabe gemäß § 8 unserer AGB nicht möglich, wenn die gelieferten Datenträger vom Kunden entsiegelt worden sind.