Real Time Programming: Languages, Specification and Verification (Hardcover)
5 Angebote vergleichen

Preise201320142015
Schnitt 126,31 104,97 93,38
Nachfrage
Bester Preis: 14,15 (vom 06.07.2015)
1
9789810225667 - Real Time Programming: Languages, Specification and Verification (Hardback)

Real Time Programming: Languages, Specification and Verification (Hardback) (2010)

Lieferung erfolgt aus/von: Deutschland EN HC NW

ISBN: 9789810225667 bzw. 9810225660, in Englisch, World Scientific Publishing Co Pte Ltd, Singapore, gebundenes Buch, neu.

Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, The Book Depository [54837791], Gloucester, UK, United Kingdom.
Brand New Book. 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.
2
9789810225667 - R. K. Shyamasundar, S. Ramesh: Real Time Programming: Languages, Specification & Verification
R. K. Shyamasundar, S. Ramesh

Real Time Programming: Languages, Specification & Verification (2002)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN HC NW FE

ISBN: 9789810225667 bzw. 9810225660, in Englisch, 264 Seiten, World Scientific Publishing Company, gebundenes Buch, neu, Erstausgabe.

80,54 ($ 107,76)¹ + Versand: 2,98 ($ 3,99)¹ = 83,52 ($ 111,75)¹
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, pbshopus.
The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. 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 programs. 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 quintessence of the monograph can be captured by the following question: How can we design and develop Robust Reactive (real-time) Programs? We address this question in this monograph through the various underlying issues listed, such as characteristics of real-time/reactive programs, reactive programming languages, verification and refinements. Contents: Real Time Systems Background Synchronous Languages Other Synchronous Languages Verification of Synchronous Programs Integration of Synchrony and Asynchrony , Hardcover, Ausgabe: 1st, Label: World Scientific Publishing Company, World Scientific Publishing Company, Produktgruppe: Book, Publiziert: 2002-06-15, Studio: World Scientific Publishing Company, Verkaufsrang: 8037282.
3
9789810225667 - Real Time Programming: Languages, Specification and Verification

Real Time Programming: Languages, Specification and Verification (2001)

Lieferung erfolgt aus/von: Frankreich EN US

ISBN: 9789810225667 bzw. 9810225660, in Englisch, 600 Seiten, World Scientific Publishing Co Pte Ltd, gebraucht.

89,08
unverbindlich
Lieferung aus: Frankreich, Expédition sous 1 à 2 jours ouvrés.
Von Händler/Antiquariat, Nearfine.
Real Time Programming: Languages, Specification and Verification The aim of this text is to present research efforts that have gone into, or are going on in, the systematic design of real-time programs. It does this by examining such areas as the characteristics of real-time/reactive programs, reactive programming languages, verification and refinements. Relié, Label: World Scientific Publishing Co Pte Ltd, World Scientific Publishing Co Pte Ltd, Produktgruppe: Book, Publiziert: 2001-12-31, Studio: World Scientific Publishing Co Pte Ltd.
4
9789810225667 - Shyamasundar, R. K. Ramesh, S.: Real Time Programming: Languages, Specification and Verification
Shyamasundar, R. K. Ramesh, S.

Real Time Programming: Languages, Specification and Verification

Lieferung erfolgt aus/von: Deutschland DE HC NW

ISBN: 9789810225667 bzw. 9810225660, in Deutsch, WORLD SCIENTIFIC PUB CO (, gebundenes Buch, neu.

Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
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.Versandfertig in über 4 Wochen, Hardcover.
5
9789810225667 - Real Time Programming: Languages, Specification and Verification

Real Time Programming: Languages, Specification and Verification (2001)

Lieferung erfolgt aus/von: Frankreich EN NW

ISBN: 9789810225667 bzw. 9810225660, in Englisch, 600 Seiten, World Scientific Publishing Co Pte Ltd, neu.

73,21
unverbindlich
Lieferung aus: Frankreich, Expédition sous 1 à 2 jours ouvrés.
Von Händler/Antiquariat, books_and_music.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…